/// <summary> /// Add a diagnostic to the bag. /// </summary> internal static WhamDiagnosticInfo Add(this DiagnosticBag diagnostics, ErrorCode code, SourceNode node) { return(diagnostics.Add(code, node.GetLocation())); }