-
Richard Eisenberg authored
Representational equalities cannot discharge nominal ones. Even if, somehow, this didn't cause a type error (as reported in the ticket), it would surely cause a core lint error.
9f978b67
Representational equalities cannot discharge nominal ones. Even if, somehow, this didn't cause a type error (as reported in the ticket), it would surely cause a core lint error.