more variations of type restrictions
Closed this issue · 1 comments
mvdan commented
Going beyond relationships to other types, such as equality or assignability. Some come to mind:
- Being addressable
- Being comparable
- Being an interface type
We also want all of these to be invertible, for example the ability to say "all non-addressable expressions".
mvdan commented
All of these are done now.