Skip to content

Get the in-scope set right in FamInstEnv.injectiveBranches

Simon Peyton Jones requested to merge wip/T21896 into master

This tidies up the inscope handling for tcUnifyTyWithTFs. Deals with #21896 (closed).

Merge request reports