liquidhaskell-0.8.0.2: tests/errors/UnboundFunInSpec1.hs

module Goo where

{-@ foo :: xs:_ -> {v:_ | this = rubbish } @-}
foo _ _ = 0