-
Simon Peyton Jones authored
This was being done in xCtFlavor, but not in rewriteCtFlavor, resulting in Trac #7238. See Note [Bind new Givens immediately] in TcSMonad and and Note [Coercion evidence terms] in TcEvidence.
7d83fdea
This was being done in xCtFlavor, but not in rewriteCtFlavor, resulting in Trac #7238. See Note [Bind new Givens immediately] in TcSMonad and and Note [Coercion evidence terms] in TcEvidence.