testsuite/tests/dependent/should_compile/T11405.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE ImplicitParams, TypeInType, ExplicitForAll #-}

module T11405 where

import GHC.Exts
import GHC.Stack

x :: forall (v :: Levity) (a :: TYPE v). (?callStack :: CallStack) => a
x = undefined