Bind "given" evidence to a variable, always
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.
Loading
Please register or sign in to comment