liquidhaskell-0.8.0.2: tests/errors/Inconsistent2.hs

module Mismatch where

{-@ foo :: Nat @-}
foo :: Bool
foo = True