liquidhaskell-0.6.0.0: tests/crash/errmsg-mismatch.hs

module Boo where

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