Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail041.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 module ShouldFail where
4
5 class (?imp :: Int) => D t where
6 methodD :: t -> t
7
8 -- Don't repeat implicit parameter constraint on the instance
9 instance D Int where
10 methodD x = x + ?imp