Commit Graph

2 Commits

Author SHA1 Message Date
Oli Scherer
1efb7479ef Remove some annotations that just specify the default 2024-02-22 16:56:26 +00:00
Ali MJ Al-Nasrawy
66bd6453e0 test that we do not support higher-ranked regions in opaque type inference 2024-02-21 09:08:45 +00:00