Closed
Description
The typechecker doesn't properly auto-instantiate the type parameter when calling parse_seq. This is obnoxious.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
The typechecker doesn't properly auto-instantiate the type parameter when calling parse_seq. This is obnoxious.