Closed pschachte closed 6 months ago
If there's an unresolved residue after type checking, only report the first one to avoid overwhelming error messages.
If there's an unresolved residue after type checking, only report the first one to avoid overwhelming error messages.