liquidhaskell-0.4.0.0: tests/crash/FunRef1.hs

module Goo where

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