Closed
Description
The pattern-match-checking code potentially prints out derived errors because it doesn't check for ty_err like the rest of the typechecker does. I have a branch that almost fixes this but I got distracted working on higher-priority bugs.