hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / T11512.hs
1 {-# LANGUAGE PolyKinds, TypeApplications, ScopedTypeVariables #-}
2
3 module Bug where
4
5 import Data.Proxy
6
7 class C a where
8 foo :: Proxy a
9
10 bar :: forall a. C a => Proxy a
11 bar = foo @a