path: root/testsuite/tests/typecheck/should_compile/T14149.hs

{-# OPTIONS_GHC -fdefer-out-of-scope-variables #-}

module Foo where

import Data.Coerce

f :: Bool
f = coerce (k :: Int)