Agda-2.3.2.2: test/fail/DuplicateFields.err
DuplicateFields.agda:10,9-30
Duplicate fields x in record
when checking that the expression record { x = x; x = y } has type
D
DuplicateFields.agda:10,9-30
Duplicate fields x in record
when checking that the expression record { x = x; x = y } has type
D