-
Simon Peyton Jones authored
This patch addresses Trac #11464. The fix is a bit crude (traverse the type to remove CastTys), but it's also simple. See Note [Casts during validity checking] in TcValidity (cherry picked from commit b2e6350f)
76d8549d
This patch addresses Trac #11464. The fix is a bit crude (traverse the type to remove CastTys), but it's also simple. See Note [Casts during validity checking] in TcValidity (cherry picked from commit b2e6350f)