testsuite/tests/typecheck/should_fail/T14618.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes #-}

module T14618 where

safeCoerce :: a -> b
safeCoerce = f'
    where
        f :: d -> forall c. d
        f x = x

        f' = f