summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15359.hs
blob: 2a58d89c05ec9e83f33104e616328edfbb96a55e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses, GADTs, RankNTypes,
             ConstraintKinds, QuantifiedConstraints #-}

module T15359 where

class C a b

data Dict c where
  Dict :: c => Dict c

foo :: (forall a b. C a b => a ~ b) => Dict (C a b) -> a -> b
foo Dict x = x