blob: a758a8cfe610f4f0ab4dc1a789e834ff2c97c45c (
plain)
1
2
3
4
5
6
7
|
{-# LANGUAGE QuantifiedConstraints, MultiParamTypeClasses, PolyKinds #-}
-- NB: PolyKinds. This is actually accepted with -XNoPolyKinds because of defaulting.
-- See T17562b for the NoPolyKinds case.
module T17562 where
class (forall a. a b ~ a c) => C b c
|
