testsuite/tests/dependent/should_fail/T11471.hs


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

{-# LANGUAGE MagicHash, PolyKinds, TypeFamilies, AllowAmbiguousTypes #-}

module T11471 where

import GHC.Exts
import Data.Proxy

type family F a :: k

type instance F Int = Int#

f :: Proxy a -> F a -> F a
f _ x = x

bad = f (undefined :: Proxy Int#) 3#