dhall-1.42.3: dhall-lang/tests/normalization/success/unit/RecordLitDuplicateFieldsNoCollisionsA.dhall

{-  This expression desugars to:

        { x = { y = 0 } ∧ { z = 0 } }

    ... which then β-normalizes to:

        { x = { y = 0, z = 0 } }
-}
{ x = { y = 0 }, x = { z = 0 } }