Open
Description
Add some failing tests for the typechecker, as many invalid constructs are still allowed to pass through to the codegen
{{ message }}
No one assigned
No projects
No milestone
None yet
No branches or pull requests
Add some failing tests for the typechecker, as many invalid constructs are still allowed to pass through to the codegen