liquidhaskell-0.6.0.0: tests/crash/Assume.hs

module Assume where

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