testsuite/tests/typecheck/should_fail/tcfail041.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE ImplicitParams #-}

module ShouldFail where

class (?imp :: Int) => D t where
    methodD :: t -> t

-- Don't repeat implicit parameter constraint on the instance
instance D Int where
    methodD x = x + ?imp