Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / T12507.hs
1 {-# LANGUAGE GADTs, ConstraintKinds, Rank2Types, ImplicitParams #-}
2
3 module T12507 where
4
5 data Rec fields where
6 Rec :: fields => Rec fields
7
8 qn :: Rec fields -> (fields => r) -> r
9 qn Rec e = e
10
11 record :: Rec (?a :: Int, ?b :: String)
12 record = Rec where ?a=42
13 ?b="hey"
14
15 access :: Int
16 access = qn record ?a