-//! Feature: completion with imports-on-the-fly
-//!
-//! When completing names in the current scope, proposes additional imports from other modules or crates,
-//! if they can be qualified in the scope, and their name contains all symbols from the completion input.
-//!
-//! To be considered applicable, the name must contain all input symbols in the given order, not necessarily adjacent.
-//! If any input symbol is not lowercased, the name must contain all symbols in exact case; otherwise the containing is checked case-insensitively.
-//!
-//! ```
-//! fn main() {
-//! pda$0
-//! }
-//! # pub mod std { pub mod marker { pub struct PhantomData { } } }
-//! ```
-//! ->
-//! ```
-//! use std::marker::PhantomData;
-//!
-//! fn main() {
-//! PhantomData
-//! }
-//! # pub mod std { pub mod marker { pub struct PhantomData { } } }
-//! ```
-//!
-//! Also completes associated items, that require trait imports.
-//! If any unresolved and/or partially-qualified path precedes the input, it will be taken into account.
-//! Currently, only the imports with their import path ending with the whole qualifier will be proposed
-//! (no fuzzy matching for qualifier).
-//!
-//! ```
-//! mod foo {
-//! pub mod bar {
-//! pub struct Item;
-//!
-//! impl Item {
-//! pub const TEST_ASSOC: usize = 3;
-//! }
-//! }
-//! }
-//!
-//! fn main() {
-//! bar::Item::TEST_A$0
-//! }
-//! ```
-//! ->
-//! ```
-//! use foo::bar;
-//!
-//! mod foo {
-//! pub mod bar {
-//! pub struct Item;
-//!
-//! impl Item {
-//! pub const TEST_ASSOC: usize = 3;
-//! }
-//! }
-//! }
-//!
-//! fn main() {
-//! bar::Item::TEST_ASSOC
-//! }
-//! ```
-//!
-//! NOTE: currently, if an assoc item comes from a trait that's not currently imported, and it also has an unresolved and/or partially-qualified path,
-//! no imports will be proposed.
-//!
-//! .Fuzzy search details
-//!
-//! To avoid an excessive amount of the results returned, completion input is checked for inclusion in the names only
-//! (i.e. in `HashMap` in the `std::collections::HashMap` path).
-//! For the same reasons, avoids searching for any path imports for inputs with their length less than 2 symbols
-//! (but shows all associated items for any input length).
-//!
-//! .Import configuration
-//!
-//! It is possible to configure how use-trees are merged with the `importMergeBehavior` setting.
-//! Mimics the corresponding behavior of the `Auto Import` feature.
-//!
-//! .LSP and performance implications
-//!
-//! The feature is enabled only if the LSP client supports LSP protocol version 3.16+ and reports the `additionalTextEdits`
-//! (case-sensitive) resolve client capability in its client capabilities.
-//! This way the server is able to defer the costly computations, doing them for a selected completion item only.
-//! For clients with no such support, all edits have to be calculated on the completion request, including the fuzzy search completion ones,
-//! which might be slow ergo the feature is automatically disabled.
-//!
-//! .Feature toggle
-//!
-//! The feature can be forcefully turned off in the settings with the `rust-analyzer.completion.autoimport.enable` flag.
-//! Note that having this flag set to `true` does not guarantee that the feature is enabled: your client needs to have the corresponding
-//! capability enabled.
-
+//! See [`import_on_the_fly`].
+use hir::ItemInNs;
use ide_db::helpers::{
- import_assets::{ImportAssets, ImportCandidate},
+ import_assets::{ImportAssets, ImportCandidate, LocatedImport},
insert_use::ImportScope,
};
use itertools::Itertools;
use syntax::{AstNode, SyntaxNode, T};
use crate::{
- context::CompletionContext,
+ context::{CompletionContext, PathKind},
render::{render_resolution_with_import, RenderContext},
ImportEdit,
};
use super::Completions;
+// Feature: Completion With Autoimport
+//
+// When completing names in the current scope, proposes additional imports from other modules or crates,
+// if they can be qualified in the scope, and their name contains all symbols from the completion input.
+//
+// To be considered applicable, the name must contain all input symbols in the given order, not necessarily adjacent.
+// If any input symbol is not lowercased, the name must contain all symbols in exact case; otherwise the containing is checked case-insensitively.
+//
+// ```
+// fn main() {
+// pda$0
+// }
+// # pub mod std { pub mod marker { pub struct PhantomData { } } }
+// ```
+// ->
+// ```
+// use std::marker::PhantomData;
+//
+// fn main() {
+// PhantomData
+// }
+// # pub mod std { pub mod marker { pub struct PhantomData { } } }
+// ```
+//
+// Also completes associated items, that require trait imports.
+// If any unresolved and/or partially-qualified path precedes the input, it will be taken into account.
+// Currently, only the imports with their import path ending with the whole qualifier will be proposed
+// (no fuzzy matching for qualifier).
+//
+// ```
+// mod foo {
+// pub mod bar {
+// pub struct Item;
+//
+// impl Item {
+// pub const TEST_ASSOC: usize = 3;
+// }
+// }
+// }
+//
+// fn main() {
+// bar::Item::TEST_A$0
+// }
+// ```
+// ->
+// ```
+// use foo::bar;
+//
+// mod foo {
+// pub mod bar {
+// pub struct Item;
+//
+// impl Item {
+// pub const TEST_ASSOC: usize = 3;
+// }
+// }
+// }
+//
+// fn main() {
+// bar::Item::TEST_ASSOC
+// }
+// ```
+//
+// NOTE: currently, if an assoc item comes from a trait that's not currently imported, and it also has an unresolved and/or partially-qualified path,
+// no imports will be proposed.
+//
+// .Fuzzy search details
+//
+// To avoid an excessive amount of the results returned, completion input is checked for inclusion in the names only
+// (i.e. in `HashMap` in the `std::collections::HashMap` path).
+// For the same reasons, avoids searching for any path imports for inputs with their length less than 2 symbols
+// (but shows all associated items for any input length).
+//
+// .Import configuration
+//
+// It is possible to configure how use-trees are merged with the `importMergeBehavior` setting.
+// Mimics the corresponding behavior of the `Auto Import` feature.
+//
+// .LSP and performance implications
+//
+// The feature is enabled only if the LSP client supports LSP protocol version 3.16+ and reports the `additionalTextEdits`
+// (case-sensitive) resolve client capability in its client capabilities.
+// This way the server is able to defer the costly computations, doing them for a selected completion item only.
+// For clients with no such support, all edits have to be calculated on the completion request, including the fuzzy search completion ones,
+// which might be slow ergo the feature is automatically disabled.
+//
+// .Feature toggle
+//
+// The feature can be forcefully turned off in the settings with the `rust-analyzer.completion.autoimport.enable` flag.
+// Note that having this flag set to `true` does not guarantee that the feature is enabled: your client needs to have the corresponding
+// capability enabled.
pub(crate) fn import_on_the_fly(acc: &mut Completions, ctx: &CompletionContext) -> Option<()> {
if !ctx.config.enable_imports_on_the_fly {
return None;
}
- if ctx.in_use_tree()
+ if matches!(ctx.path_kind(), Some(PathKind::Vis { .. } | PathKind::Use))
|| ctx.is_path_disallowed()
|| ctx.expects_item()
|| ctx.expects_assoc_item()
+ || ctx.expects_variant()
{
return None;
}
+ // FIXME: This should be encoded in a different way
+ if ctx.pattern_ctx.is_none() && ctx.path_context.is_none() && !ctx.has_dot_receiver() {
+ // completion inside `ast::Name` of a item declaration
+ return None;
+ }
let potential_import_name = {
let token_kind = ctx.token.kind();
if matches!(token_kind, T![.] | T![::]) {
}
};
- let _p = profile::span("import_on_the_fly").detail(|| potential_import_name.to_string());
+ let _p = profile::span("import_on_the_fly").detail(|| potential_import_name.clone());
let user_input_lowercased = potential_import_name.to_lowercase();
let import_assets = import_assets(ctx, potential_import_name)?;
- let import_scope = ImportScope::find_insert_use_container_with_macros(
- position_for_import(ctx, Some(import_assets.import_candidate()))?,
+ let import_scope = ImportScope::find_insert_use_container(
+ &position_for_import(ctx, Some(import_assets.import_candidate()))?,
&ctx.sema,
)?;
+ let ns_filter = |import: &LocatedImport| {
+ let kind = match ctx.path_kind() {
+ Some(kind) => kind,
+ None => {
+ return match import.original_item {
+ ItemInNs::Macros(mac) => mac.is_fn_like(),
+ _ => true,
+ }
+ }
+ };
+ match (kind, import.original_item) {
+ // Aren't handled in flyimport
+ (PathKind::Vis { .. } | PathKind::Use, _) => false,
+ // modules are always fair game
+ (_, ItemInNs::Types(hir::ModuleDef::Module(_))) => true,
+ // and so are macros(except for attributes)
+ (
+ PathKind::Expr | PathKind::Type | PathKind::Mac | PathKind::Pat,
+ ItemInNs::Macros(mac),
+ ) => mac.is_fn_like(),
+ (PathKind::Mac, _) => true,
+
+ (PathKind::Expr, ItemInNs::Types(_) | ItemInNs::Values(_)) => true,
+
+ (PathKind::Pat, ItemInNs::Types(_)) => true,
+ (PathKind::Pat, ItemInNs::Values(def)) => matches!(def, hir::ModuleDef::Const(_)),
+
+ (PathKind::Type, ItemInNs::Types(_)) => true,
+ (PathKind::Type, ItemInNs::Values(_)) => false,
+
+ (PathKind::Attr, ItemInNs::Macros(mac)) => mac.is_attr(),
+ (PathKind::Attr, _) => false,
+ }
+ };
+
acc.add_all(
import_assets
.search_for_imports(&ctx.sema, ctx.config.insert_use.prefix_kind)
.into_iter()
+ .filter(ns_filter)
.filter(|import| {
!ctx.is_item_hidden(&import.item_to_import)
&& !ctx.is_item_hidden(&import.original_item)
Some(())
}
-pub(crate) fn position_for_import<'a>(
- ctx: &'a CompletionContext,
+pub(crate) fn position_for_import(
+ ctx: &CompletionContext,
import_candidate: Option<&ImportCandidate>,
-) -> Option<&'a SyntaxNode> {
- Some(match import_candidate {
- Some(ImportCandidate::Path(_)) => ctx.name_ref_syntax.as_ref()?.syntax(),
- Some(ImportCandidate::TraitAssocItem(_)) => ctx.path_qual()?.syntax(),
- Some(ImportCandidate::TraitMethod(_)) => ctx.dot_receiver()?.syntax(),
- None => ctx
- .name_ref_syntax
- .as_ref()
- .map(|name_ref| name_ref.syntax())
- .or_else(|| ctx.path_qual().map(|path| path.syntax()))
- .or_else(|| ctx.dot_receiver().map(|expr| expr.syntax()))?,
- })
+) -> Option<SyntaxNode> {
+ Some(
+ match import_candidate {
+ Some(ImportCandidate::Path(_)) => ctx.name_syntax.as_ref()?.syntax(),
+ Some(ImportCandidate::TraitAssocItem(_)) => ctx.path_qual()?.syntax(),
+ Some(ImportCandidate::TraitMethod(_)) => ctx.dot_receiver()?.syntax(),
+ None => return ctx.original_token.parent(),
+ }
+ .clone(),
+ )
}
fn import_assets(ctx: &CompletionContext, fuzzy_name: String) -> Option<ImportAssets> {
- let current_module = ctx.scope.module()?;
+ let current_module = ctx.module?;
if let Some(dot_receiver) = ctx.dot_receiver() {
ImportAssets::for_fuzzy_method_call(
current_module,
)
} else {
let fuzzy_name_length = fuzzy_name.len();
- let assets_for_path = ImportAssets::for_fuzzy_path(
+ let mut assets_for_path = ImportAssets::for_fuzzy_path(
current_module,
ctx.path_qual().cloned(),
fuzzy_name,
&ctx.sema,
ctx.token.parent()?,
)?;
-
- if matches!(assets_for_path.import_candidate(), ImportCandidate::Path(_))
- && fuzzy_name_length < 2
- {
- cov_mark::hit!(ignore_short_input_for_path);
- None
- } else {
- Some(assets_for_path)
+ if fuzzy_name_length < 3 {
+ cov_mark::hit!(flyimport_exact_on_short_path);
+ assets_for_path.path_fuzzy_name_to_exact(false);
}
+ Some(assets_for_path)
}
}
-fn compute_fuzzy_completion_order_key(
+pub(crate) fn compute_fuzzy_completion_order_key(
proposed_mod_path: &hir::ModPath,
user_input_lowercased: &str,
) -> usize {
cov_mark::hit!(certain_fuzzy_order_test);
let import_name = match proposed_mod_path.segments().last() {
- Some(name) => name.to_string().to_lowercase(),
+ Some(name) => name.to_smol_str().to_lowercase(),
None => return usize::MAX,
};
match import_name.match_indices(user_input_lowercased).next() {
None => usize::MAX,
}
}
-
-#[cfg(test)]
-mod tests {
- use expect_test::{expect, Expect};
-
- use crate::{
- item::CompletionKind,
- tests::{check_edit, check_edit_with_config, filtered_completion_list, TEST_CONFIG},
- };
-
- fn check(ra_fixture: &str, expect: Expect) {
- let actual = filtered_completion_list(ra_fixture, CompletionKind::Magic);
- expect.assert_eq(&actual);
- }
-
- #[test]
- fn function_fuzzy_completion() {
- check_edit(
- "stdin",
- r#"
-//- /lib.rs crate:dep
-pub mod io {
- pub fn stdin() {}
-};
-
-//- /main.rs crate:main deps:dep
-fn main() {
- stdi$0
-}
-"#,
- r#"
-use dep::io::stdin;
-
-fn main() {
- stdin()$0
-}
-"#,
- );
- }
-
- #[test]
- fn macro_fuzzy_completion() {
- check_edit(
- "macro_with_curlies!",
- r#"
-//- /lib.rs crate:dep
-/// Please call me as macro_with_curlies! {}
-#[macro_export]
-macro_rules! macro_with_curlies {
- () => {}
-}
-
-//- /main.rs crate:main deps:dep
-fn main() {
- curli$0
-}
-"#,
- r#"
-use dep::macro_with_curlies;
-
-fn main() {
- macro_with_curlies! {$0}
-}
-"#,
- );
- }
-
- #[test]
- fn struct_fuzzy_completion() {
- check_edit(
- "ThirdStruct",
- r#"
-//- /lib.rs crate:dep
-pub struct FirstStruct;
-pub mod some_module {
- pub struct SecondStruct;
- pub struct ThirdStruct;
-}
-
-//- /main.rs crate:main deps:dep
-use dep::{FirstStruct, some_module::SecondStruct};
-
-fn main() {
- this$0
-}
-"#,
- r#"
-use dep::{FirstStruct, some_module::{SecondStruct, ThirdStruct}};
-
-fn main() {
- ThirdStruct
-}
-"#,
- );
- }
-
- #[test]
- fn short_paths_are_ignored() {
- cov_mark::check!(ignore_short_input_for_path);
-
- check(
- r#"
-//- /lib.rs crate:dep
-pub struct FirstStruct;
-pub mod some_module {
- pub struct SecondStruct;
- pub struct ThirdStruct;
-}
-
-//- /main.rs crate:main deps:dep
-use dep::{FirstStruct, some_module::SecondStruct};
-
-fn main() {
- t$0
-}
-"#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn fuzzy_completions_come_in_specific_order() {
- cov_mark::check!(certain_fuzzy_order_test);
- check(
- r#"
-//- /lib.rs crate:dep
-pub struct FirstStruct;
-pub mod some_module {
- // already imported, omitted
- pub struct SecondStruct;
- // does not contain all letters from the query, omitted
- pub struct UnrelatedOne;
- // contains all letters from the query, but not in sequence, displayed last
- pub struct ThiiiiiirdStruct;
- // contains all letters from the query, but not in the beginning, displayed second
- pub struct AfterThirdStruct;
- // contains all letters from the query in the begginning, displayed first
- pub struct ThirdStruct;
-}
-
-//- /main.rs crate:main deps:dep
-use dep::{FirstStruct, some_module::SecondStruct};
-
-fn main() {
- hir$0
-}
-"#,
- expect![[r#"
- st ThirdStruct (use dep::some_module::ThirdStruct)
- st AfterThirdStruct (use dep::some_module::AfterThirdStruct)
- st ThiiiiiirdStruct (use dep::some_module::ThiiiiiirdStruct)
- "#]],
- );
- }
-
- #[test]
- fn trait_function_fuzzy_completion() {
- let fixture = r#"
- //- /lib.rs crate:dep
- pub mod test_mod {
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
- }
-
- //- /main.rs crate:main deps:dep
- fn main() {
- dep::test_mod::TestStruct::wei$0
- }
- "#;
-
- check(
- fixture,
- expect![[r#"
- fn weird_function() (use dep::test_mod::TestTrait) fn()
- "#]],
- );
-
- check_edit(
- "weird_function",
- fixture,
- r#"
-use dep::test_mod::TestTrait;
-
-fn main() {
- dep::test_mod::TestStruct::weird_function()$0
-}
-"#,
- );
- }
-
- #[test]
- fn trait_const_fuzzy_completion() {
- let fixture = r#"
- //- /lib.rs crate:dep
- pub mod test_mod {
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
- }
-
- //- /main.rs crate:main deps:dep
- fn main() {
- dep::test_mod::TestStruct::spe$0
- }
- "#;
-
- check(
- fixture,
- expect![[r#"
- ct SPECIAL_CONST (use dep::test_mod::TestTrait)
- "#]],
- );
-
- check_edit(
- "SPECIAL_CONST",
- fixture,
- r#"
-use dep::test_mod::TestTrait;
-
-fn main() {
- dep::test_mod::TestStruct::SPECIAL_CONST
-}
-"#,
- );
- }
-
- #[test]
- fn trait_method_fuzzy_completion() {
- let fixture = r#"
- //- /lib.rs crate:dep
- pub mod test_mod {
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
- }
-
- //- /main.rs crate:main deps:dep
- fn main() {
- let test_struct = dep::test_mod::TestStruct {};
- test_struct.ran$0
- }
- "#;
-
- check(
- fixture,
- expect![[r#"
- me random_method() (use dep::test_mod::TestTrait) fn(&self)
- "#]],
- );
-
- check_edit(
- "random_method",
- fixture,
- r#"
-use dep::test_mod::TestTrait;
-
-fn main() {
- let test_struct = dep::test_mod::TestStruct {};
- test_struct.random_method()$0
-}
-"#,
- );
- }
-
- #[test]
- fn no_trait_type_fuzzy_completion() {
- check(
- r#"
-//- /lib.rs crate:dep
-pub mod test_mod {
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
-}
-
-//- /main.rs crate:main deps:dep
-fn main() {
- dep::test_mod::TestStruct::hum$0
-}
-"#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn does_not_propose_names_in_scope() {
- check(
- r#"
-//- /lib.rs crate:dep
-pub mod test_mod {
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
-}
-
-//- /main.rs crate:main deps:dep
-use dep::test_mod::TestStruct;
-fn main() {
- TestSt$0
-}
-"#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn does_not_propose_traits_in_scope() {
- check(
- r#"
-//- /lib.rs crate:dep
-pub mod test_mod {
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
-}
-
-//- /main.rs crate:main deps:dep
-use dep::test_mod::{TestStruct, TestTrait};
-fn main() {
- dep::test_mod::TestStruct::hum$0
-}
-"#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn blanket_trait_impl_import() {
- check_edit(
- "another_function",
- r#"
-//- /lib.rs crate:dep
-pub mod test_mod {
- pub struct TestStruct {}
- pub trait TestTrait {
- fn another_function();
- }
- impl<T> TestTrait for T {
- fn another_function() {}
- }
-}
-
-//- /main.rs crate:main deps:dep
-fn main() {
- dep::test_mod::TestStruct::ano$0
-}
-"#,
- r#"
-use dep::test_mod::TestTrait;
-
-fn main() {
- dep::test_mod::TestStruct::another_function()$0
-}
-"#,
- );
- }
-
- #[test]
- fn zero_input_deprecated_assoc_item_completion() {
- check(
- r#"
-//- /lib.rs crate:dep
-pub mod test_mod {
- #[deprecated]
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
-}
-
-//- /main.rs crate:main deps:dep
-fn main() {
- let test_struct = dep::test_mod::TestStruct {};
- test_struct.$0
-}
- "#,
- expect![[r#"
- me random_method() (use dep::test_mod::TestTrait) fn(&self) DEPRECATED
- "#]],
- );
-
- check(
- r#"
-//- /lib.rs crate:dep
-pub mod test_mod {
- #[deprecated]
- pub trait TestTrait {
- const SPECIAL_CONST: u8;
- type HumbleType;
- fn weird_function();
- fn random_method(&self);
- }
- pub struct TestStruct {}
- impl TestTrait for TestStruct {
- const SPECIAL_CONST: u8 = 42;
- type HumbleType = ();
- fn weird_function() {}
- fn random_method(&self) {}
- }
-}
-
-//- /main.rs crate:main deps:dep
-fn main() {
- dep::test_mod::TestStruct::$0
-}
-"#,
- expect![[r#"
- ct SPECIAL_CONST (use dep::test_mod::TestTrait) DEPRECATED
- fn weird_function() (use dep::test_mod::TestTrait) fn() DEPRECATED
- "#]],
- );
- }
-
- #[test]
- fn no_completions_in_use_statements() {
- check(
- r#"
-//- /lib.rs crate:dep
-pub mod io {
- pub fn stdin() {}
-};
-
-//- /main.rs crate:main deps:dep
-use stdi$0
-
-fn main() {}
-"#,
- expect![[]],
- );
- }
-
- #[test]
- fn prefix_config_usage() {
- let fixture = r#"
-mod foo {
- pub mod bar {
- pub struct Item;
- }
-}
-
-use crate::foo::bar;
-
-fn main() {
- Ite$0
-}"#;
- let mut config = TEST_CONFIG;
-
- config.insert_use.prefix_kind = hir::PrefixKind::ByCrate;
- check_edit_with_config(
- config.clone(),
- "Item",
- fixture,
- r#"
-mod foo {
- pub mod bar {
- pub struct Item;
- }
-}
-
-use crate::foo::bar::{self, Item};
-
-fn main() {
- Item
-}"#,
- );
-
- config.insert_use.prefix_kind = hir::PrefixKind::BySelf;
- check_edit_with_config(
- config.clone(),
- "Item",
- fixture,
- r#"
-mod foo {
- pub mod bar {
- pub struct Item;
- }
-}
-
-use crate::foo::bar;
-
-use self::foo::bar::Item;
-
-fn main() {
- Item
-}"#,
- );
-
- config.insert_use.prefix_kind = hir::PrefixKind::Plain;
- check_edit_with_config(
- config,
- "Item",
- fixture,
- r#"
-mod foo {
- pub mod bar {
- pub struct Item;
- }
-}
-
-use foo::bar::Item;
-
-use crate::foo::bar;
-
-fn main() {
- Item
-}"#,
- );
- }
-
- #[test]
- fn unresolved_qualifier() {
- let fixture = r#"
-mod foo {
- pub mod bar {
- pub mod baz {
- pub struct Item;
- }
- }
-}
-
-fn main() {
- bar::baz::Ite$0
-}"#;
-
- check(
- fixture,
- expect![[r#"
- st Item (use foo::bar::baz::Item)
- "#]],
- );
-
- check_edit(
- "Item",
- fixture,
- r#"
- use foo::bar;
-
- mod foo {
- pub mod bar {
- pub mod baz {
- pub struct Item;
- }
- }
- }
-
- fn main() {
- bar::baz::Item
- }"#,
- );
- }
-
- #[test]
- fn unresolved_assoc_item_container() {
- let fixture = r#"
-mod foo {
- pub struct Item;
-
- impl Item {
- pub const TEST_ASSOC: usize = 3;
- }
-}
-
-fn main() {
- Item::TEST_A$0
-}"#;
-
- check(
- fixture,
- expect![[r#"
- ct TEST_ASSOC (use foo::Item)
- "#]],
- );
-
- check_edit(
- "TEST_ASSOC",
- fixture,
- r#"
-use foo::Item;
-
-mod foo {
- pub struct Item;
-
- impl Item {
- pub const TEST_ASSOC: usize = 3;
- }
-}
-
-fn main() {
- Item::TEST_ASSOC
-}"#,
- );
- }
-
- #[test]
- fn unresolved_assoc_item_container_with_path() {
- let fixture = r#"
-mod foo {
- pub mod bar {
- pub struct Item;
-
- impl Item {
- pub const TEST_ASSOC: usize = 3;
- }
- }
-}
-
-fn main() {
- bar::Item::TEST_A$0
-}"#;
-
- check(
- fixture,
- expect![[r#"
- ct TEST_ASSOC (use foo::bar::Item)
- "#]],
- );
-
- check_edit(
- "TEST_ASSOC",
- fixture,
- r#"
-use foo::bar;
-
-mod foo {
- pub mod bar {
- pub struct Item;
-
- impl Item {
- pub const TEST_ASSOC: usize = 3;
- }
- }
-}
-
-fn main() {
- bar::Item::TEST_ASSOC
-}"#,
- );
- }
-
- #[test]
- fn fuzzy_unresolved_path() {
- check(
- r#"
-mod foo {
- pub mod bar {
- pub struct Item;
-
- impl Item {
- pub const TEST_ASSOC: usize = 3;
- }
- }
-}
-
-fn main() {
- bar::ASS$0
-}"#,
- expect![[]],
- )
- }
-
- #[test]
- fn unqualified_assoc_items_are_omitted() {
- check(
- r#"
-mod something {
- pub trait BaseTrait {
- fn test_function() -> i32;
- }
-
- pub struct Item1;
- pub struct Item2;
-
- impl BaseTrait for Item1 {
- fn test_function() -> i32 {
- 1
- }
- }
-
- impl BaseTrait for Item2 {
- fn test_function() -> i32 {
- 2
- }
- }
-}
-
-fn main() {
- test_f$0
-}"#,
- expect![[]],
- )
- }
-
- #[test]
- fn case_matters() {
- check(
- r#"
-mod foo {
- pub const TEST_CONST: usize = 3;
- pub fn test_function() -> i32 {
- 4
- }
-}
-
-fn main() {
- TE$0
-}"#,
- expect![[r#"
- ct TEST_CONST (use foo::TEST_CONST)
- "#]],
- );
-
- check(
- r#"
-mod foo {
- pub const TEST_CONST: usize = 3;
- pub fn test_function() -> i32 {
- 4
- }
-}
-
-fn main() {
- te$0
-}"#,
- expect![[r#"
- ct TEST_CONST (use foo::TEST_CONST)
- fn test_function() (use foo::test_function) fn() -> i32
- "#]],
- );
-
- check(
- r#"
-mod foo {
- pub const TEST_CONST: usize = 3;
- pub fn test_function() -> i32 {
- 4
- }
-}
-
-fn main() {
- Te$0
-}"#,
- expect![[]],
- );
- }
-
- #[test]
- fn no_fuzzy_during_fields_of_record_lit_syntax() {
- check(
- r#"
-mod m {
- pub fn some_fn() -> i32 {
- 42
- }
-}
-struct Foo {
- some_field: i32,
-}
-fn main() {
- let _ = Foo { so$0 };
-}
-"#,
- expect![[]],
- );
- }
-
- #[test]
- fn fuzzy_after_fields_of_record_lit_syntax() {
- check(
- r#"
-mod m {
- pub fn some_fn() -> i32 {
- 42
- }
-}
-struct Foo {
- some_field: i32,
-}
-fn main() {
- let _ = Foo { some_field: so$0 };
-}
-"#,
- expect![[r#"
- fn some_fn() (use m::some_fn) fn() -> i32
- "#]],
- );
- }
-
- #[test]
- fn no_flyimports_in_traits_and_impl_declarations() {
- check(
- r#"
-mod m {
- pub fn some_fn() -> i32 {
- 42
- }
-}
-trait Foo {
- som$0
-}
-"#,
- expect![[r#""#]],
- );
-
- check(
- r#"
-mod m {
- pub fn some_fn() -> i32 {
- 42
- }
-}
-struct Foo;
-impl Foo {
- som$0
-}
-"#,
- expect![[r#""#]],
- );
-
- check(
- r#"
-mod m {
- pub fn some_fn() -> i32 {
- 42
- }
-}
-struct Foo;
-trait Bar {}
-impl Bar for Foo {
- som$0
-}
-"#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn no_inherent_candidates_proposed() {
- check(
- r#"
-mod baz {
- pub trait DefDatabase {
- fn method1(&self);
- }
- pub trait HirDatabase: DefDatabase {
- fn method2(&self);
- }
-}
-
-mod bar {
- fn test(db: &dyn crate::baz::HirDatabase) {
- db.metho$0
- }
-}
- "#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn respects_doc_hidden() {
- check(
- r#"
-//- /lib.rs crate:lib deps:dep
-fn f() {
- ().fro$0
-}
-
-//- /dep.rs crate:dep
-#[doc(hidden)]
-pub trait Private {
- fn frob(&self) {}
-}
-
-impl<T> Private for T {}
- "#,
- expect![[r#""#]],
- );
- check(
- r#"
-//- /lib.rs crate:lib deps:dep
-fn f() {
- ().fro$0
-}
-
-//- /dep.rs crate:dep
-pub trait Private {
- #[doc(hidden)]
- fn frob(&self) {}
-}
-
-impl<T> Private for T {}
- "#,
- expect![[r#""#]],
- );
- }
-
- #[test]
- fn regression_9760() {
- check(
- r#"
-struct Struct;
-fn main() {}
-
-mod mud {
- fn func() {
- let struct_instance = Stru$0
- }
-}
-"#,
- expect![[r#"
- st Struct (use crate::Struct)
- "#]],
- );
- }
-}
projects / rust.git / blobdiff