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