Fix #16411 by making dataConCannotMatch aware of (~~)
[ghc.git] / testsuite / tests / typecheck / should_compile / T16411.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE TypeOperators #-}
3 {-# OPTIONS_GHC -Wpartial-fields #-}
4 module T16411 where
5
6 import Data.Type.Equality
7
8 data T1 z where
9 MkT1a :: { rec1 :: () } -> T1 Int
10 MkT1b :: (z ~ Bool) => T1 z
11
12 data T2 z where
13 MkT2a :: { rec2 :: () } -> T2 Int
14 MkT2b :: (z ~~ Bool) => T2 z