Merge non-moving garbage collector
[ghc.git] / testsuite / tests / typecheck / should_compile / T7541.hs
1 {-# OPTIONS_GHC -Wno-redundant-constraints -Wno-simplifiable-class-constraints #-}
2 {-# LANGUAGE FlexibleContexts, Rank2Types #-}
3
4 module Test where
5
6 type Constrained x y r = (Eq x, Eq y) => x -> y -> r
7
8 f :: Constrained String String ()
9 -- Weird test case: (Eq String, Eq String) is simplifiable
10 f = undefined