liquidhaskell-0.4.0.0: tests/crash/Mismatch.hs

module Mismatch where

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