liquidhaskell-0.8.0.2: tests/errors/Inconsistent1.hs

module Boo where

{-@ incr :: Int -> Bool @-}
incr :: Int -> Int 
incr x = x + 1