Fix #14916 with an additional validity check in deriveTyData
[ghc.git] / testsuite / tests / deriving / should_fail / T14916.hs
1 {-# LANGUAGE DeriveAnyClass #-}
2 module T14916 where
3
4 import Data.Coerce
5 import Data.Typeable
6
7 data A = MkA deriving ((~) A)
8 data B = MkB deriving (Coercible B)