Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / T15499.hs
1 {-# LANGUAGE DataKinds, GADTs, KindSignatures #-}
2 module T15499 ()
3 where
4
5 data ADT (p :: Integer) where
6 ADT ::
7 { a :: a
8 , b :: Integer
9 } -> ADT p
10
11 foo = undefined {b=undefined}