liquidhaskell-0.9.0.2.1: tests/pos/Ignores.hs

module Ignores where

{-@ ignore inc @-}
{-@ inc :: Nat -> Nat @-}
inc :: Int -> Int 
inc x = x - 1