liquidhaskell-0.8.10.1: tests/errors/EmptyData.hs

-- | see: https://github.com/ucsd-progsys/liquidhaskell/issues/1169

module Bar where

{-@ data A @-}
data A = B