liquidhaskell-0.8.10.1: tests/errors/BadDataConType2.hs

module Boo where

{-@ data T = C { fldX :: Int } @-}

data T = C { fldX :: Int, fldY :: Int }