liquidhaskell-0.6.0.0: tests/crash/errmsg-dc-num.hs

module Boo where

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


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