Fold integer-simple.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T3406.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2
3 -- Trac #3406
4 -- A pattern signature that discards the bound variables
5
6 module T3406 where
7
8 type ItemColID a b = Int -- Discards a,b
9
10 get :: ItemColID a b -> a -> ItemColID a b
11 get (x :: ItemColID a b) = x :: ItemColID a b