liquidhaskell-0.8.0.2: tests/errors/BadDataCon2.hs

module Boo where

{-@ data T = Cuthb { fldX :: Int, fldY :: Int } @-}

data T = Cuthb { fldX :: Int }