blob: 907b8f65a3df421e4c4002b50d787f96f2a86798 (
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.Exts (coerce)
duplicate = coerce @(forall x. ()) @(forall x. x)
|