-
Richard Eisenberg authored
See the ticket for more info about the new algorithm. This is a small simplification, unifying the treatment of type checking in a few similar situations.
1e2002d8
See the ticket for more info about the new algorithm. This is a small simplification, unifying the treatment of type checking in a few similar situations.