Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10534a.hs
1 {-# LANGUAGE TypeFamilies, FlexibleContexts #-}
2
3 module T10534a where
4
5 import Data.Coerce
6
7 data family DF a
8
9 silly :: Coercible (DF a) (DF b) => a -> b
10 silly = coerce