liquidhaskell-0.7.0.0: tests/neg/LibSpec.hs

module LibSpec ( module Lib ) where 

import Lib

{-@ Lib.foo :: {v:a | false} -> a @-}