liquidhaskell-0.8.10.1: tests/errors/Inconsistent2.hs

module Mismatch where

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