Enable flyimport for ident patterns

This commit is contained in:
Lukas Wirth 2021-09-01 16:13:53 +02:00
parent 25368d2430
commit 40a2faee65
4 changed files with 34 additions and 23 deletions

View file

@ -163,11 +163,11 @@ pub(crate) fn position_for_import<'a>(
import_candidate: Option<&ImportCandidate>, import_candidate: Option<&ImportCandidate>,
) -> Option<&'a SyntaxNode> { ) -> Option<&'a SyntaxNode> {
Some(match import_candidate { Some(match import_candidate {
Some(ImportCandidate::Path(_)) => ctx.name_ref_syntax.as_ref()?.syntax(), Some(ImportCandidate::Path(_)) => ctx.name_syntax.as_ref()?.syntax(),
Some(ImportCandidate::TraitAssocItem(_)) => ctx.path_qual()?.syntax(), Some(ImportCandidate::TraitAssocItem(_)) => ctx.path_qual()?.syntax(),
Some(ImportCandidate::TraitMethod(_)) => ctx.dot_receiver()?.syntax(), Some(ImportCandidate::TraitMethod(_)) => ctx.dot_receiver()?.syntax(),
None => ctx None => ctx
.name_ref_syntax .name_syntax
.as_ref() .as_ref()
.map(|name_ref| name_ref.syntax()) .map(|name_ref| name_ref.syntax())
.or_else(|| ctx.path_qual().map(|path| path.syntax())) .or_else(|| ctx.path_qual().map(|path| path.syntax()))
@ -1203,4 +1203,21 @@ mod mud {
"#]], "#]],
); );
} }
#[test]
fn flyimport_pattern() {
check(
r#"
mod module {
pub struct Struct;
}
fn function() {
let Str$0
}
"#,
expect![[r#"
st Struct (use module::Struct)
"#]],
);
}
} }

View file

@ -8,6 +8,7 @@
//! show up for normal completions, or they won't show completions other than lifetimes depending //! show up for normal completions, or they won't show completions other than lifetimes depending
//! on the fixture input. //! on the fixture input.
use hir::ScopeDef; use hir::ScopeDef;
use syntax::ast;
use crate::{completions::Completions, context::CompletionContext}; use crate::{completions::Completions, context::CompletionContext};
@ -17,11 +18,9 @@ pub(crate) fn complete_lifetime(acc: &mut Completions, ctx: &CompletionContext)
return; return;
} }
let lp_string; let lp_string;
let param_lifetime = match ( let param_lifetime =
&ctx.lifetime_syntax, match (&ctx.name_syntax, ctx.lifetime_param_syntax.as_ref().and_then(|lp| lp.lifetime())) {
ctx.lifetime_param_syntax.as_ref().and_then(|lp| lp.lifetime()), (Some(ast::NameLike::Lifetime(lt)), Some(lp)) if lp == lt.clone() => return,
) {
(Some(lt), Some(lp)) if lp == lt.clone() => return,
(Some(_), Some(lp)) => { (Some(_), Some(lp)) => {
lp_string = lp.to_string(); lp_string = lp.to_string();
Some(&*lp_string) Some(&*lp_string)

View file

@ -92,7 +92,7 @@ pub(crate) fn complete_qualified_path(acc: &mut Completions, ctx: &CompletionCon
for (name, def) in module_scope { for (name, def) in module_scope {
if ctx.in_use_tree() { if ctx.in_use_tree() {
if let hir::ScopeDef::Unknown = def { if let hir::ScopeDef::Unknown = def {
if let Some(name_ref) = ctx.name_ref_syntax.as_ref() { if let Some(ast::NameLike::NameRef(name_ref)) = ctx.name_syntax.as_ref() {
if name_ref.syntax().text() == name.to_string().as_str() { if name_ref.syntax().text() == name.to_string().as_str() {
// for `use self::foo$0`, don't suggest `foo` as a completion // for `use self::foo$0`, don't suggest `foo` as a completion
cov_mark::hit!(dont_complete_current_use); cov_mark::hit!(dont_complete_current_use);

View file

@ -93,10 +93,9 @@ pub(crate) struct CompletionContext<'a> {
pub(super) function_def: Option<ast::Fn>, pub(super) function_def: Option<ast::Fn>,
/// The parent impl of the cursor position if it exists. /// The parent impl of the cursor position if it exists.
pub(super) impl_def: Option<ast::Impl>, pub(super) impl_def: Option<ast::Impl>,
pub(super) name_ref_syntax: Option<ast::NameRef>, pub(super) name_syntax: Option<ast::NameLike>,
// potentially set if we are completing a lifetime // potentially set if we are completing a lifetime
pub(super) lifetime_syntax: Option<ast::Lifetime>,
pub(super) lifetime_param_syntax: Option<ast::LifetimeParam>, pub(super) lifetime_param_syntax: Option<ast::LifetimeParam>,
pub(super) lifetime_allowed: bool, pub(super) lifetime_allowed: bool,
pub(super) is_label_ref: bool, pub(super) is_label_ref: bool,
@ -161,8 +160,7 @@ impl<'a> CompletionContext<'a> {
expected_type: None, expected_type: None,
function_def: None, function_def: None,
impl_def: None, impl_def: None,
name_ref_syntax: None, name_syntax: None,
lifetime_syntax: None,
lifetime_param_syntax: None, lifetime_param_syntax: None,
lifetime_allowed: false, lifetime_allowed: false,
is_label_ref: false, is_label_ref: false,
@ -601,6 +599,8 @@ impl<'a> CompletionContext<'a> {
self.completion_location = self.completion_location =
determine_location(&self.sema, original_file, offset, &name_like); determine_location(&self.sema, original_file, offset, &name_like);
self.prev_sibling = determine_prev_sibling(&name_like); self.prev_sibling = determine_prev_sibling(&name_like);
self.name_syntax =
find_node_at_offset(original_file, name_like.syntax().text_range().start());
match name_like { match name_like {
ast::NameLike::Lifetime(lifetime) => { ast::NameLike::Lifetime(lifetime) => {
self.classify_lifetime(original_file, lifetime, offset); self.classify_lifetime(original_file, lifetime, offset);
@ -620,8 +620,6 @@ impl<'a> CompletionContext<'a> {
lifetime: ast::Lifetime, lifetime: ast::Lifetime,
offset: TextSize, offset: TextSize,
) { ) {
self.lifetime_syntax =
find_node_at_offset(original_file, lifetime.syntax().text_range().start());
if let Some(parent) = lifetime.syntax().parent() { if let Some(parent) = lifetime.syntax().parent() {
if parent.kind() == ERROR { if parent.kind() == ERROR {
return; return;
@ -695,9 +693,6 @@ impl<'a> CompletionContext<'a> {
fn classify_name_ref(&mut self, original_file: &SyntaxNode, name_ref: ast::NameRef) { fn classify_name_ref(&mut self, original_file: &SyntaxNode, name_ref: ast::NameRef) {
self.fill_impl_def(); self.fill_impl_def();
self.name_ref_syntax =
find_node_at_offset(original_file, name_ref.syntax().text_range().start());
self.function_def = self self.function_def = self
.sema .sema
.token_ancestors_with_macros(self.token.clone()) .token_ancestors_with_macros(self.token.clone())