liquidhaskell-0.8.10.1: tests/neg/Fail1.hs

module Fail where 

-- This should fail because the failing incr is SAFE 
{-@ fail incr @-}
{-@ incr :: x:Int -> {v:Int |  x < v } @-}
incr :: Int -> Int 
incr x = x + 1