Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc070.hs
1 module ShouldSucceed where
2
3
4 data Boolean = FF | TT
5
6
7 idb :: Boolean -> Boolean
8 idb x = x
9