X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=crates%2Fide%2Fsrc%2Fhover.rs;h=0eba0b09ba6e2dfded2f179b785f18c7e1bcd5a0;hb=0b53744f2d7e0694cd7207cca632fd6de1dc5bff;hp=7d5cfaa93728a24e90d6a834e6e7204ea0a4fdcc;hpb=48cd733c9e60dcf65e57e222362f56008e6c1623;p=rust.git diff --git a/crates/ide/src/hover.rs b/crates/ide/src/hover.rs index 7d5cfaa9372..0eba0b09ba6 100644 --- a/crates/ide/src/hover.rs +++ b/crates/ide/src/hover.rs @@ -9,7 +9,7 @@ use hir::{HasSource, Semantics}; use ide_db::{ base_db::FileRange, - defs::Definition, + defs::{Definition, IdentClass}, helpers::{pick_best_token, FamousDefs}, FxIndexSet, RootDatabase, }; @@ -117,10 +117,11 @@ pub(crate) fn hover( let descended = sema.descend_into_macros(original_token.clone()); // FIXME: Definition should include known lints and the like instead of having this special case here - if let Some(res) = descended.iter().find_map(|token| { + let hovered_lint = descended.iter().find_map(|token| { let attr = token.ancestors().find_map(ast::Attr::cast)?; render::try_for_lint(&attr, token) - }) { + }); + if let Some(res) = hovered_lint { return Some(RangeInfo::new(original_token.text_range(), res)); } @@ -128,8 +129,8 @@ pub(crate) fn hover( .iter() .filter_map(|token| { let node = token.parent()?; - let defs = Definition::from_token(sema, token); - Some(defs.into_iter().zip(iter::once(node).cycle())) + let class = IdentClass::classify_token(sema, token)?; + Some(class.definitions().into_iter().zip(iter::once(node).cycle())) }) .flatten() .unique_by(|&(def, _)| def) @@ -142,12 +143,15 @@ pub(crate) fn hover( if result.is_none() { // fallbacks, show keywords or types - if let Some(res) = render::keyword(sema, config, &original_token) { + + let res = descended.iter().find_map(|token| render::keyword(sema, config, &token)); + if let Some(res) = res { return Some(RangeInfo::new(original_token.text_range(), res)); } - if let res @ Some(_) = - descended.iter().find_map(|token| hover_type_fallback(sema, config, token)) - { + let res = descended + .iter() + .find_map(|token| hover_type_fallback(sema, config, token, &original_token)); + if let res @ Some(_) = res { return res; } } @@ -197,6 +201,7 @@ fn hover_ranged( sema: &Semantics, config: &HoverConfig, ) -> Option> { + // FIXME: make this work in attributes let expr_or_pat = file.covering_element(range).ancestors().find_map(|it| { match_ast! { match it { @@ -229,6 +234,7 @@ fn hover_type_fallback( sema: &Semantics, config: &HoverConfig, token: &SyntaxToken, + original_token: &SyntaxToken, ) -> Option> { let node = token .ancestors() @@ -247,7 +253,10 @@ fn hover_type_fallback( }; let res = render::type_info(sema, config, &expr_or_pat)?; - let range = sema.original_range(&node).range; + let range = sema + .original_range_opt(&node) + .map(|frange| frange.range) + .unwrap_or_else(|| original_token.text_range()); Some(RangeInfo::new(range, res)) }