liquidhaskell-0.8.10.1: tests/errors/MissingField1.hs

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

data Foo = F Int 

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