dhall-1.21.0: dhall-lang/tests/typecheck/failure/duplicateFields.dhall

{ a = 1, a = 2 }