liquidhaskell-0.9.0.2.1: tests/neg/HolesTop.hs

{-@ LIQUID "--expect-any-error" @-}
module HolesTop where

import Language.Haskell.Liquid.Prelude

{-@ foo :: _ -> Bool @-}
foo = liquidAssertB

bar = foo True