One structural diagnostic. code is a stable machine-readable
identifier (unsatisfiable-record, unreachable-record,
duplicate-record, any-field); severity is warning or info;
location is a record name (or record.label for any-field);
message is a human-readable, actionable description.
One structural diagnostic.
codeis a stable machine-readable identifier (unsatisfiable-record,unreachable-record,duplicate-record,any-field);severityiswarningorinfo;locationis a record name (orrecord.labelforany-field);messageis a human-readable, actionable description.