[red-knot] Refresh diagnostics when changing related files (#17350)

This commit is contained in:
Micha Reiser 2025-04-11 15:50:28 +02:00 committed by GitHub
parent 8e11c53310
commit 7e571791c0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -212,6 +212,7 @@ impl Server {
position_encoding: Some(position_encoding.into()),
diagnostic_provider: Some(DiagnosticServerCapabilities::Options(DiagnosticOptions {
identifier: Some(crate::DIAGNOSTIC_NAME.into()),
inter_file_dependencies: true,
..Default::default()
})),
text_document_sync: Some(TextDocumentSyncCapability::Options(