Fix defer-out-of-scope-variables
[ghc.git] / testsuite / tests / typecheck / should_compile / T14149.hs
1 {-# OPTIONS_GHC -fdefer-out-of-scope-variables #-}
2
3 module Foo where
4
5 import Data.Coerce
6
7 f :: Bool
8 f = coerce (k :: Int)