testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T17007.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2 {-# LANGUAGE TypeFamilies #-}
3 module T17007 where
4
5 type ItemColID a b = Int -- Discards a,b
6
7 get :: ItemColID a b -> ItemColID a b
8 get (x :: ItemColID a b) = x :: ItemColID a b
9
10 type family ItemColID' a b where ItemColID' a b = Int -- Discards a,b
11
12 get' :: ItemColID' a b -> ItemColID' a b
13 get' (x :: ItemColID' a b) = x :: ItemColID' a b