blob: 8fe092da980db0d764158c56aadec11aebba5a42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# Language GADTs, MultiParamTypeClasses, QuantifiedConstraints #-}
module T15625 where
import Data.Coerce
class a ~ b => Equal a b
test1 :: (forall b. a ~ b) => a
test1 = False
test2 :: (forall b. Equal a b) => a
test2 = False
test3 :: (forall b. Coercible a b) => a
test3 = coerce False
|
