Skip to content

Incomplete metaModel typing for textDocument/diagnostic partial result #2274

@ribru17

Description

@ribru17

Problem

The spec describes the partial result type for this method as such:

partial result: The first literal send need to be a DocumentDiagnosticReport followed by n DocumentDiagnosticReportPartialResult literals

However, the 3.18 metaModel types the partial result as follows:

"partialResult": {
	"kind": "reference",
	"name": "DocumentDiagnosticReportPartialResult"
}

This completely omits the DocumentDiagnosticReport reference.

Expected behavior

The partial result should be a type defined as an or of DocumentDiagnosticReport and DocumentDiagnosticReportPartialResult, preferably with some documentation detailing that only the first partial result notification can be of the former type.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions