From 05729fd3c4aa542d162b54e7352c0d4bade62684 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Sun, 28 Feb 2021 14:12:11 +0300 Subject: For unresolved macros, hightlight only the last segment --- crates/ide/src/diagnostics.rs | 67 ++++++++++++++++++++++++++++++++++++------- 1 file changed, 56 insertions(+), 11 deletions(-) (limited to 'crates/ide/src/diagnostics.rs') diff --git a/crates/ide/src/diagnostics.rs b/crates/ide/src/diagnostics.rs index 8607139ba..fe32f39b6 100644 --- a/crates/ide/src/diagnostics.rs +++ b/crates/ide/src/diagnostics.rs @@ -10,15 +10,16 @@ mod field_shorthand; use std::cell::RefCell; use hir::{ + db::AstDatabase, diagnostics::{Diagnostic as _, DiagnosticCode, DiagnosticSinkBuilder}, - Semantics, + InFile, Semantics, }; use ide_db::{base_db::SourceDatabase, RootDatabase}; use itertools::Itertools; use rustc_hash::FxHashSet; use syntax::{ ast::{self, AstNode}, - SyntaxNode, TextRange, + SyntaxNode, SyntaxNodePtr, TextRange, }; use text_edit::TextEdit; @@ -147,20 +148,38 @@ pub(crate) fn diagnostics( // Override severity and mark as unused. res.borrow_mut().push( - Diagnostic::hint(sema.diagnostics_display_range(d).range, d.message()) - .with_unused(true) - .with_code(Some(d.code())), + Diagnostic::hint( + sema.diagnostics_display_range(d.display_source()).range, + d.message(), + ) + .with_unused(true) + .with_code(Some(d.code())), ); }) .on::(|d| { // Use more accurate position if available. - let display_range = - d.precise_location.unwrap_or_else(|| sema.diagnostics_display_range(d).range); + let display_range = d + .precise_location + .unwrap_or_else(|| sema.diagnostics_display_range(d.display_source()).range); // FIXME: it would be nice to tell the user whether proc macros are currently disabled res.borrow_mut() .push(Diagnostic::hint(display_range, d.message()).with_code(Some(d.code()))); }) + .on::(|d| { + let last_path_segment = sema.db.parse_or_expand(d.file).and_then(|root| { + d.node + .to_node(&root) + .path() + .and_then(|it| it.segment()) + .and_then(|it| it.name_ref()) + .map(|it| InFile::new(d.file, SyntaxNodePtr::new(it.syntax()))) + }); + let diagnostics = last_path_segment.unwrap_or_else(|| d.display_source()); + let display_range = sema.diagnostics_display_range(diagnostics).range; + res.borrow_mut() + .push(Diagnostic::error(display_range, d.message()).with_code(Some(d.code()))); + }) // Only collect experimental diagnostics when they're enabled. .filter(|diag| !(diag.is_experimental() && config.disable_experimental)) .filter(|diag| !config.disabled.contains(diag.code().as_str())); @@ -170,8 +189,11 @@ pub(crate) fn diagnostics( // Diagnostics not handled above get no fix and default treatment. .build(|d| { res.borrow_mut().push( - Diagnostic::error(sema.diagnostics_display_range(d).range, d.message()) - .with_code(Some(d.code())), + Diagnostic::error( + sema.diagnostics_display_range(d.display_source()).range, + d.message(), + ) + .with_code(Some(d.code())), ); }); @@ -183,13 +205,13 @@ pub(crate) fn diagnostics( } fn diagnostic_with_fix(d: &D, sema: &Semantics) -> Diagnostic { - Diagnostic::error(sema.diagnostics_display_range(d).range, d.message()) + Diagnostic::error(sema.diagnostics_display_range(d.display_source()).range, d.message()) .with_fix(d.fix(&sema)) .with_code(Some(d.code())) } fn warning_with_fix(d: &D, sema: &Semantics) -> Diagnostic { - Diagnostic::hint(sema.diagnostics_display_range(d).range, d.message()) + Diagnostic::hint(sema.diagnostics_display_range(d.display_source()).range, d.message()) .with_fix(d.fix(&sema)) .with_code(Some(d.code())) } @@ -645,6 +667,29 @@ fn test_fn() { ); } + #[test] + fn test_unresolved_macro_range() { + check_expect( + r#"foo::bar!(92);"#, + expect![[r#" + [ + Diagnostic { + message: "unresolved macro call", + range: 5..8, + severity: Error, + fix: None, + unused: false, + code: Some( + DiagnosticCode( + "unresolved-macro-call", + ), + ), + }, + ] + "#]], + ); + } + #[test] fn range_mapping_out_of_macros() { // FIXME: this is very wrong, but somewhat tricky to fix. -- cgit v1.2.3