Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
58 changes: 35 additions & 23 deletions crates/ide-completion/src/item.rs
Original file line number Diff line number Diff line change
Expand Up @@ -304,19 +304,19 @@ impl CompletionRelevance {
// only applicable for completions within use items
// lower rank for conflicting import names
if is_name_already_imported {
score -= 1;
score -= 15;
}
// slightly prefer locals
if is_local {
score += 1;
score += 2;
}
if is_missing {
score += 1;
score += 2;
}

// lower rank private things
if !is_private_editable {
score += 1;
score += 10;
}

if let Some(trait_) = trait_ {
Expand All @@ -337,27 +337,37 @@ impl CompletionRelevance {

// lower rank for items that need an import
if requires_import {
score -= 1;
score -= 12;
}
if exact_name_match {
score += 20;
score += 40;
}
match postfix_match {
Some(CompletionRelevancePostfixMatch::Exact) => score += 100,
Some(CompletionRelevancePostfixMatch::NonExact) => score -= 5,
None => (),
};
score += match type_match {
Some(CompletionRelevanceTypeMatch::Exact) => 18,
Some(CompletionRelevanceTypeMatch::CouldUnify) => 5,
Some(CompletionRelevanceTypeMatch::Exact) => 35,
Some(CompletionRelevanceTypeMatch::CouldUnify) => 15,
None => 0,
};
if let Some(function) = function {
let mut fn_score = match function.return_type {
CompletionRelevanceReturnType::DirectConstructor => 15,
CompletionRelevanceReturnType::Builder => 10,
CompletionRelevanceReturnType::Constructor => 5,
CompletionRelevanceReturnType::Other => 0u32,
let mut fn_score = if requires_import {
// Rank constructors that require imports lower than those who don't.
match function.return_type {
CompletionRelevanceReturnType::DirectConstructor => 8,
CompletionRelevanceReturnType::Builder => 5,
CompletionRelevanceReturnType::Constructor => 3,
CompletionRelevanceReturnType::Other => 0u32,
}
} else {
match function.return_type {
CompletionRelevanceReturnType::DirectConstructor => 15,
CompletionRelevanceReturnType::Builder => 10,
CompletionRelevanceReturnType::Constructor => 5,
CompletionRelevanceReturnType::Other => 0u32,
}
};

// When a fn is bumped due to return type:
Expand All @@ -375,12 +385,12 @@ impl CompletionRelevance {
};

if has_local_inherent_impl {
score -= 5;
score -= 8;
}

// lower rank for deprecated items
if is_deprecated {
score -= 5;
score -= 15;
}

score
Expand Down Expand Up @@ -831,15 +841,17 @@ mod tests {
is_private_editable: true,
..default
}],
vec![Cr {
trait_: Some(crate::item::CompletionRelevanceTraitInfo {
notable_trait: false,
is_op_method: true,
}),
..default
}],
vec![
Cr {
trait_: Some(crate::item::CompletionRelevanceTraitInfo {
notable_trait: false,
is_op_method: true,
}),
..default
},
Cr { is_private_editable: true, ..default },
],
vec![Cr { postfix_match: Some(CompletionRelevancePostfixMatch::NonExact), ..default }],
vec![Cr { is_private_editable: true, ..default }],
vec![default],
vec![Cr { is_local: true, ..default }],
vec![Cr { type_match: Some(CompletionRelevanceTypeMatch::CouldUnify), ..default }],
Expand Down
8 changes: 4 additions & 4 deletions crates/ide-completion/src/render.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1071,12 +1071,12 @@ fn main() {
"#,
expect![[r#"
ev dep::test_mod_b::Enum::Variant dep::test_mod_b::Enum::Variant [type]
ev Variant Variant [type+requires_import]
ex dep::test_mod_b::Enum::Variant [type]
ev Variant Variant [requires_import]
ev Variant Variant [type+requires_import]
md dep:: []
fn main() fn() []
fn test(…) fn(Enum) []
ev Variant Variant [requires_import]
"#]],
);
}
Expand Down Expand Up @@ -3989,11 +3989,11 @@ fn foo() {
}
"#,
expect![[r#"
ev Foo::B Foo::B [type_could_unify]
ev Foo::A(…) Foo::A(T) [type_could_unify]
lc foo Foo<u32> [type+local]
ex Foo::B [type]
ex foo [type]
ev Foo::B Foo::B [type_could_unify]
ev Foo::A(…) Foo::A(T) [type_could_unify]
en Foo Foo<T> [type_could_unify]
fn baz() fn() -> Foo<T> [type_could_unify]
fn bar() fn() -> Foo<u8> []
Expand Down
54 changes: 54 additions & 0 deletions crates/ide-completion/src/tests/expression.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4055,3 +4055,57 @@ fn test<H: Test1>(test: H) {
expect![""],
);
}

#[test]
fn imported_enum_variant_has_lower_priority() {
check(
r#"
pub struct String {}
mod foo {
pub enum Foo { String }
}
fn main() {
Strin$0
}
"#,
expect![[r#"
fn main() fn()
md foo::
st String String
ev String (use foo::Foo::String) String
bt u32 u32
kw async
kw const
kw crate::
kw enum
kw extern
kw false
kw fn
kw for
kw if
kw if let
kw impl
kw impl for
kw let
kw letm
kw loop
kw match
kw mod
kw return
kw self::
kw static
kw struct
kw trait
kw true
kw type
kw union
kw unsafe
kw use
kw while
kw while let
sn macro_rules
sn pd
sn ppd
"#]],
);
}
32 changes: 32 additions & 0 deletions crates/ide-diagnostics/src/handlers/type_mismatch.rs
Original file line number Diff line number Diff line change
Expand Up @@ -120,6 +120,22 @@ fn add_or_fix_reference(
return None;
}

let expr = expr_ptr.to_node(ctx.db());
let assign = expr
.syntax()
.parent()
.and_then(ast::BinExpr::cast)
.filter(|it| it.op_kind() == Some(ast::BinaryOp::Assignment { op: None }));
if let Some(assign) = assign
&& expected_mutability.is_mut()
&& let Some(range) = ctx.sema.original_range_opt(assign.syntax())
{
let edit = TextEdit::insert(range.range.start(), "*".to_owned());
let source_change = SourceChange::from_text_edit(range.file_id.file_id(ctx.db()), edit);
acc.push(fix("add_deref_here", "Add deref here", source_change, range.range));
return Some(());
}

let ampersands = format!("&{}", expected_mutability.as_keyword_for_ref());

let edit = TextEdit::insert(range.range.start(), ampersands);
Expand Down Expand Up @@ -507,6 +523,22 @@ fn test(_arg: &mut i32) {}
);
}

#[test]
fn add_deref_in_assign() {
check_fix(
r#"
fn test(arg: &mut i32) {
arg = $02;
}
"#,
r#"
fn test(arg: &mut i32) {
*arg = 2;
}
"#,
);
}

#[test]
fn add_reference_to_array() {
check_fix(
Expand Down
4 changes: 4 additions & 0 deletions crates/proc-macro-srv/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,11 @@ proc-macro-test.path = "./proc-macro-test"

[features]
default = []
# default = ["sysroot-abi"]
sysroot-abi = []

[lints]
workspace = true

[package.metadata.rust-analyzer]
rustc_private=true
4 changes: 4 additions & 0 deletions crates/rust-analyzer/src/main_loop.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1267,6 +1267,10 @@ impl GlobalState {
let mut dispatcher = RequestDispatcher { req: Some(req), global_state: self };
dispatcher.on_sync_mut::<lsp_types::request::Shutdown>(|s, ()| {
s.shutdown_requested = true;
s.proc_macro_clients =
std::iter::repeat_with(|| None).take(s.proc_macro_clients.len()).collect();
s.flycheck.iter().for_each(|handle| handle.cancel());
s.discover_handles.clear();
Ok(())
});

Expand Down