blob: 4f75d59ebde21b713204be8f2bbe120137555464 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# Language TypeApplications #-}
{-# Language ImpredicativeTypes #-}
-- This isn't a test for impredicative types; it's
-- just that visible type application on a for-all type
-- is an easy way to provoke the error.
--
-- The ticket #14605 has a much longer example that
-- also fails; it does not use ImpredicativeTypes
module T14605 where
import GHC.Prim (coerce)
duplicate = coerce @(forall x. ()) @(forall x. x)
|