testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / Tc271a.hs
1 module Tc271a where
2 import {-# SOURCE #-} Tc271
3
4 h2 :: K a => a -> a
5 h2 = h