Skip to content

Refactor: remove a string matching about methods #99119

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jul 15, 2022
Merged

Refactor: remove a string matching about methods #99119

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1599c5a
remove a string matching about methods
TaKO8Ki Jul 10, 2022
45b88af
simplify `suggest_deref_ref_or_into`
TaKO8Ki Jul 15, 2022
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
8 changes: 8 additions & 0 deletions compiler/rustc_hir/src/hir.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1811,6 +1811,14 @@ impl Expr<'_> {
_ => false,
}
}

pub fn method_ident(&self) -> Option<Ident> {
match self.kind {
ExprKind::MethodCall(receiver_method, ..) => Some(receiver_method.ident),
ExprKind::Unary(_, expr) | ExprKind::AddrOf(.., expr) => expr.method_ident(),
_ => None,
}
}
}

/// Checks if the specified expression is a built-in range literal.
Expand Down
2 changes: 2 additions & 0 deletions compiler/rustc_span/src/symbol.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1434,6 +1434,8 @@ symbols! {
thumb2,
thumb_mode: "thumb-mode",
tmm_reg,
to_string,
to_vec,
todo_macro,
tool_attributes,
tool_lints,
Expand Down
97 changes: 48 additions & 49 deletions compiler/rustc_typeck/src/check/fn_ctxt/suggestions.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,6 @@ use rustc_span::symbol::sym;
use rustc_span::Span;
use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt;

use std::iter;

impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
pub(in super::super) fn suggest_semicolon_at_end(&self, span: Span, err: &mut Diagnostic) {
err.span_suggestion_short(
Expand Down Expand Up @@ -187,55 +185,56 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
err.span_label(self.tcx.def_span(def_id), &format!("{} defined here", found));
}
} else if !self.check_for_cast(err, expr, found, expected, expected_ty_expr) {
let is_struct_pat_shorthand_field =
self.maybe_get_struct_pattern_shorthand_field(expr).is_some();
let methods = self.get_conversion_methods(expr.span, expected, found, expr.hir_id);
if !methods.is_empty() {
if let Ok(expr_text) = self.sess().source_map().span_to_snippet(expr.span) {
let mut suggestions = iter::zip(iter::repeat(&expr_text), &methods)
.filter_map(|(receiver, method)| {
let method_call = format!(".{}()", method.name);
if receiver.ends_with(&method_call) {
None // do not suggest code that is already there (#53348)
} else {
let method_call_list = [".to_vec()", ".to_string()"];
let mut sugg = if receiver.ends_with(".clone()")
&& method_call_list.contains(&method_call.as_str())
{
let max_len = receiver.rfind('.').unwrap();
vec![(
expr.span,
format!("{}{}", &receiver[..max_len], method_call),
)]
} else {
if expr.precedence().order()
< ExprPrecedence::MethodCall.order()
{
vec![
(expr.span.shrink_to_lo(), "(".to_string()),
(expr.span.shrink_to_hi(), format!("){}", method_call)),
]
} else {
vec![(expr.span.shrink_to_hi(), method_call)]
}
};
if is_struct_pat_shorthand_field {
sugg.insert(
0,
(expr.span.shrink_to_lo(), format!("{}: ", receiver)),
);
}
Some(sugg)
}
})
.peekable();
if suggestions.peek().is_some() {
err.multipart_suggestions(
"try using a conversion method",
suggestions,
Applicability::MaybeIncorrect,
);
}
let mut suggestions = methods.iter()
.filter_map(|conversion_method| {
let receiver_method_ident = expr.method_ident();
if let Some(method_ident) = receiver_method_ident
&& method_ident.name == conversion_method.name
{
return None // do not suggest code that is already there (#53348)
}

let method_call_list = [sym::to_vec, sym::to_string];
let mut sugg = if let ExprKind::MethodCall(receiver_method, ..) = expr.kind
&& receiver_method.ident.name == sym::clone
&& method_call_list.contains(&conversion_method.name)
// If receiver is `.clone()` and found type has one of those methods,
// we guess that the user wants to convert from a slice type (`&[]` or `&str`)
// to an owned type (`Vec` or `String`). These conversions clone internally,
// so we remove the user's `clone` call.
{
vec![(
receiver_method.ident.span,
conversion_method.name.to_string()
)]
} else if expr.precedence().order()
< ExprPrecedence::MethodCall.order()
{
vec![
(expr.span.shrink_to_lo(), "(".to_string()),
(expr.span.shrink_to_hi(), format!(").{}()", conversion_method.name)),
]
} else {
vec![(expr.span.shrink_to_hi(), format!(".{}()", conversion_method.name))]
};
let struct_pat_shorthand_field = self.maybe_get_struct_pattern_shorthand_field(expr);
if let Some(name) = struct_pat_shorthand_field {
sugg.insert(
0,
(expr.span.shrink_to_lo(), format!("{}: ", name)),
);
}
Some(sugg)
})
.peekable();
if suggestions.peek().is_some() {
err.multipart_suggestions(
"try using a conversion method",
suggestions,
Applicability::MaybeIncorrect,
);
}
} else if let ty::Adt(found_adt, found_substs) = found.kind()
&& self.tcx.is_diagnostic_item(sym::Option, found_adt.did())
Expand Down
15 changes: 15 additions & 0 deletions src/test/ui/suggestions/issue-52820.fixed
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
// run-rustfix
#![allow(dead_code)]

struct Bravery {
guts: String,
brains: String,
}

fn main() {
let guts = "mettle";
let _ = Bravery {
guts: guts.to_string(), //~ ERROR mismatched types
brains: guts.to_string(), //~ ERROR mismatched types
};
}
3 changes: 3 additions & 0 deletions src/test/ui/suggestions/issue-52820.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
// run-rustfix
#![allow(dead_code)]

struct Bravery {
guts: String,
brains: String,
Expand Down
10 changes: 5 additions & 5 deletions src/test/ui/suggestions/issue-52820.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0308]: mismatched types
--> $DIR/issue-52820.rs:9:9
--> $DIR/issue-52820.rs:12:9
|
LL | guts,
| ^^^^ expected struct `String`, found `&str`
Expand All @@ -10,13 +10,13 @@ LL | guts: guts.to_string(),
| +++++ ++++++++++++

error[E0308]: mismatched types
--> $DIR/issue-52820.rs:10:17
--> $DIR/issue-52820.rs:13:17
|
LL | brains: guts.clone(),
| ^^^^^^^^^^^^
| |
| ^^^^^-----^^
| | |
| | help: try using a conversion method: `to_string`
| expected struct `String`, found `&str`
| help: try using a conversion method: `guts.to_string()`

error: aborting due to 2 previous errors

Expand Down
20 changes: 20 additions & 0 deletions src/test/ui/suggestions/issue-53692.fixed
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
// run-rustfix
#![allow(unused_variables)]

fn main() {
let items = vec![1, 2, 3];
let ref_items: &[i32] = &items;
let items_clone: Vec<i32> = ref_items.to_vec();
//~^ ERROR mismatched types

// in that case no suggestion will be triggered
let items_clone_2: Vec<i32> = items.clone();

let s = "hi";
let string: String = s.to_string();
//~^ ERROR mismatched types

// in that case no suggestion will be triggered
let s2 = "hi";
let string_2: String = s2.to_string();
}
27 changes: 15 additions & 12 deletions src/test/ui/suggestions/issue-53692.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,20 @@
// run-rustfix
#![allow(unused_variables)]

fn main() {
let items = vec![1, 2, 3];
let ref_items: &[i32] = &items;
let items_clone: Vec<i32> = ref_items.clone();
//~^ ERROR mismatched types
let items = vec![1, 2, 3];
let ref_items: &[i32] = &items;
let items_clone: Vec<i32> = ref_items.clone();
//~^ ERROR mismatched types

// in that case no suggestion will be triggered
let items_clone_2:Vec<i32> = items.clone();
// in that case no suggestion will be triggered
let items_clone_2: Vec<i32> = items.clone();

let s = "hi";
let string: String = s.clone();
//~^ ERROR mismatched types
let s = "hi";
let string: String = s.clone();
//~^ ERROR mismatched types

// in that case no suggestion will be triggered
let s2 = "hi";
let string_2: String = s2.to_string();
// in that case no suggestion will be triggered
let s2 = "hi";
let string_2: String = s2.to_string();
}
28 changes: 14 additions & 14 deletions src/test/ui/suggestions/issue-53692.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,25 +1,25 @@
error[E0308]: mismatched types
--> $DIR/issue-53692.rs:4:37
--> $DIR/issue-53692.rs:7:33
|
LL | let items_clone: Vec<i32> = ref_items.clone();
| -------- ^^^^^^^^^^^^^^^^^
| | |
| | expected struct `Vec`, found `&[i32]`
| | help: try using a conversion method: `ref_items.to_vec()`
| expected due to this
LL | let items_clone: Vec<i32> = ref_items.clone();
| -------- ^^^^^^^^^^-----^^
| | | |
| | | help: try using a conversion method: `to_vec`
| | expected struct `Vec`, found `&[i32]`
| expected due to this
|
= note: expected struct `Vec<i32>`
found reference `&[i32]`

error[E0308]: mismatched types
--> $DIR/issue-53692.rs:11:30
--> $DIR/issue-53692.rs:14:26
|
LL | let string: String = s.clone();
| ------ ^^^^^^^^^
| | |
| | expected struct `String`, found `&str`
| | help: try using a conversion method: `s.to_string()`
| expected due to this
LL | let string: String = s.clone();
| ------ ^^-----^^
| | | |
| | | help: try using a conversion method: `to_string`
| | expected struct `String`, found `&str`
| expected due to this

error: aborting due to 2 previous errors

Expand Down