{"range":{"start":{"line":74,"character":32},"end":{"line":74,"character":52}},"message":"No overload matches this call.'href' is declared here\n Overload 1 of 2, '(uri: string, diagnostics: Diagnostic[] | null): void', gave the following error.\n Argument of type '{ message: string; filetype: string; source: string; codeDescription: never[]; range: Range; severity?: DiagnosticSeverity | undefined; code?: string | number | undefined; tags?: DiagnosticTag[] | undefined; relatedInformation?: DiagnosticRelatedInformation[] | undefined; data?: any; }[]' is not assignable to parameter of type 'Diagnostic[]'.\n Type '{ message: string; filetype: string; source: string; codeDescription: never[]; range: Range; severity?: DiagnosticSeverity | undefined; code?: string | number | undefined; tags?: DiagnosticTag[] | undefined; relatedInformation?: DiagnosticRelatedInformation[] | undefined; data?: any; }' is not assignable to type 'Diagnostic'.\n Types of property 'codeDescription' are incompatible.\n Property 'href' is missing in type 'never[]' but required in type 'CodeDescription'.\n Overload 2 of 2, '(entries: string | [string, Diagnostic[] | null][], diagnostics?: Diagnostic[] | undefined): void', gave the following error.\n Argument of type '{ message: string; filetype: string; source: string; codeDescription: never[]; range: Range; severity?: DiagnosticSeverity | undefined; code?: string | number | undefined; tags?: DiagnosticTag[] | undefined; relatedInformation?: DiagnosticRelatedInformation[] | undefined; data?: any; }[]' is not assignable to parameter of type 'Diagnostic[]'.","code":2769,"severity":1,"source":"tsserver","relatedInformation":[]}