path: root/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt

TypeError { type_message: RecordTypeDuplicateField, context: TypecheckContext([]) }