liquidhaskell-0.9.0.2.1: tests/neg/Truespec.hs

{-@ LIQUID "--expect-any-error" @-}
module Truespec (foo) where

import Language.Haskell.Liquid.Prelude (liquidAssert)

{-@ foo :: Int -> Int @-}
foo :: Int -> Int
foo x = liquidAssert (x > 0) $ x + 1