testsuite/tests/typecheck/should_fail/T17567StupidTheta.hs


1
2
3
4
5
6

{-# LANGUAGE QuantifiedConstraints, DatatypeContexts, PolyKinds #-}
-- NB: This actually works with -XNoPolyKinds, due to defaulting.

module T17567StupidTheta where

data (forall a. a b ~ a c) => T b c