Testsuite: delete Windows line endings [skip ci] (#11631)
[ghc.git] / testsuite / tests / typecheck / should_compile / T5120.hs
1 {-# LANGUAGE ImplicitParams #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE NoMonomorphismRestriction #-}
4
5 module Test where
6
7 class C t where
8 type TF t
9 ttt :: TF t -> t
10
11 b :: (C t, ?x :: TF t) => t
12 b = ttt ?x