• niteria's avatar
    Use the correct in-scope set in coercionKind · 685398eb
    niteria authored
    The free vars of `ty2` need to be in scope to satisfy the substitution
    As far as I can tell we don't have the free vars of `ty2` when
    substituting, so unfortunately we have to compute them.
    Test Plan: ./validate
    Reviewers: austin, bgamari, simonpj, goldfire
    Subscribers: thomie, simonmar
    Differential Revision: https://phabricator.haskell.org/D2024
    GHC Trac Issues: #11371
Coercion.hs 71 KB