Closed
Description
If the self region appears within a method definition of a non-region-parameterized class, we should report an error. Right now it gets treated like any other unbound name. This is just confusing.
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests