Commit 8d66765c authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Increase an InScopeSet for a substitution

This is a further fix for #11814
parent 31e49746
......@@ -515,7 +515,8 @@ compatibleBranches (CoAxBranch { cab_lhs = lhs1, cab_rhs = rhs1 })
= case tcUnifyTysFG (const BindMe) lhs1 lhs2 of
SurelyApart -> True
Unifiable subst
| Type.substTy subst rhs1 `eqType` Type.substTy subst rhs2
| Type.substTyAddInScope subst rhs1 `eqType`
Type.substTyAddInScope subst rhs2
-> True
_ -> False
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment