path: root/testsuite/tests/typecheck/should_fail/ExplicitSpecificity1.hs

{-# LANGUAGE TypeApplications, RankNTypes #-}

module ExplicitSpecificity1 where

foo :: forall {a}. a -> a
foo x = x

bar :: ()
bar = let x = foo @Int 42
      in ()