liquidhaskell-0.9.0.2.1: tests/errors/MissingField1.hs

-- TODO-REBARE: LH _should_ (?) complain: "Unknown field `goober` in refined definition of `Foo`"

module MissingField1 where

data Foo = F Int 

{-@ data Foo = F { goober :: Int } @-}