testsuite/tests/typecheck/should_compile/T3692.hs


1
2
3
4
5
6
7
8
9
10
11

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE RankNTypes #-}

module T3692 where

type Foo a b = () -> (Bar a => a)

class Bar a where {}

foo :: Foo a b
foo = id (undefined :: Foo p q)