liquidhaskell-0.8.0.2: tests/errors/UnboundVarInAssume.hs

module Assume where

{-@ assume incr :: Int -> {v : Int | v == x} @-}
incr :: Int -> Int
incr x = x + 1