Additional data for 'argument names in the signature and implementation do not match' diagnostic

Information about the context of a type equation in type-mismatch-like diagnostic

Additional data for 'This expression is a function value, i.e. is missing arguments' diagnostic

Additional data for diagnostics about a field whose declarations differ in signature and implementation

Contextually-relevant data to each particular diagnostic

Additional data for type-mismatch-like (usually with ErrorNumber = 1) diagnostics

Additional data for diagnostics about a value whose declarations differ in signature and implementation