liquidhaskell-0.9.0.2.1: tests/pos/MapTvCrash.hs

module MapTvCrash (foo) where

import Foreign.ForeignPtr

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