public static void ReportImplicitTruncation(this ICollection<Diagnostic> diagnostics, TextSpan span, TypeSymbol sourceType, TypeSymbol destinationType) { diagnostics.Report(span, DiagnosticId.ImplicitTruncation, sourceType.Name, destinationType.Name); }