liquidhaskell-0.4.0.0: tests/pos/mapTvCrash.hs

module Foo (foo) where

import Foreign.ForeignPtr

{-@ foo :: FinalizerPtr a -> a @-}
foo :: FinalizerPtr a -> a
foo = undefined