diff options
Diffstat (limited to 'compiler/GHC/Tc/Types/Constraint.hs')
-rw-r--r-- | compiler/GHC/Tc/Types/Constraint.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Types/Constraint.hs b/compiler/GHC/Tc/Types/Constraint.hs index bf594637a9..719bf4ca95 100644 --- a/compiler/GHC/Tc/Types/Constraint.hs +++ b/compiler/GHC/Tc/Types/Constraint.hs @@ -1751,6 +1751,9 @@ half of the split to rewrite the second D, and off we go. This splitting would allow the split-off R equality to be rewritten by other equalities, thus avoiding the problem in Note [Why R2?] in GHC.Tc.Solver.Monad. +This infelicity is #19665 and tested in typecheck/should_compile/T19665 +(marked as expect_broken). + -} eqCanRewrite :: EqRel -> EqRel -> Bool |