liquidhaskell-0.4.0.0: tests/neg/ass0.hs

module Ass () where

-- import Language.Haskell.Liquid.Prelude (liquidAssert)

{-@ assert foo :: x:a -> {v: a | (v != x) } @-}
foo x = x