Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T4921.hs
1 {-# LANGUAGE MultiParamTypeClasses #-}
2 module T4921 where
3
4 class C a b where
5 f :: (a,b)
6
7 instance C Int Char where
8 f = undefined
9
10 x = fst f
11
12 y = fst f :: Int