Skip to content

Commit 2ecc722

Browse files
Dylan-DPCDylan-DPC
authored
Rollup merge of #110504 - compiler-errors:tweak-borrow-sugg, r=cjgillot
Tweak borrow suggestion span Avoids a `span_to_snippet` call when we don't need to surround the expression in parentheses. The fact that the suggestion was using the whole span of the expression rather than just appending a `&` was prevented me from using `// run-rustfix` in another PR (#110432 (comment)). Also some drive-by renames of functions that have been annoying me for a bit.
2 parents 02a85bd + 4731a25 commit 2ecc722

36 files changed

+527
-391
lines changed

‎compiler/rustc_hir_typeck/src/demand.rs‎

Lines changed: 102 additions & 96 deletions
Large diffs are not rendered by default.

‎compiler/rustc_hir_typeck/src/fn_ctxt/suggestions.rs‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -275,13 +275,13 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
275275
expected_ty_expr: Option<&'tcx hir::Expr<'tcx>>,
276276
) -> bool {
277277
let expr = expr.peel_blocks();
278-
if let Some((sp, msg, suggestion, applicability, verbose, annotation)) =
279-
self.check_ref(expr, found, expected)
278+
if let Some((suggestion, msg, applicability, verbose, annotation)) =
279+
self.suggest_deref_or_ref(expr, found, expected)
280280
{
281281
if verbose {
282-
err.span_suggestion_verbose(sp, msg, suggestion, applicability);
282+
err.multipart_suggestion_verbose(msg, suggestion, applicability);
283283
} else {
284-
err.span_suggestion(sp, msg, suggestion, applicability);
284+
err.multipart_suggestion(msg, suggestion, applicability);
285285
}
286286
if annotation {
287287
let suggest_annotation = match expr.peel_drop_temps().kind {
@@ -343,7 +343,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
343343
err.span_label(sp, format!("{descr} `{name}` defined here"));
344344
}
345345
return true;
346-
} else if self.check_for_cast(err, expr, found, expected, expected_ty_expr) {
346+
} else if self.suggest_cast(err, expr, found, expected, expected_ty_expr) {
347347
return true;
348348
} else {
349349
let methods = self.get_conversion_methods(expr.span, expected, found, expr.hir_id);

‎compiler/rustc_hir_typeck/src/method/suggest.rs‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1045,7 +1045,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
10451045
);
10461046
}
10471047

1048-
self.check_for_inner_self(&mut err, source, rcvr_ty, item_name);
1048+
self.suggest_unwrapping_inner_self(&mut err, source, rcvr_ty, item_name);
10491049

10501050
bound_spans.sort();
10511051
bound_spans.dedup();
@@ -1132,7 +1132,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
11321132
}
11331133
}
11341134

1135-
self.check_for_deref_method(&mut err, source, rcvr_ty, item_name, expected);
1135+
self.note_derefed_ty_has_method(&mut err, source, rcvr_ty, item_name, expected);
11361136
return Some(err);
11371137
}
11381138

@@ -1805,7 +1805,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
18051805
}
18061806
}
18071807

1808-
fn check_for_inner_self(
1808+
fn suggest_unwrapping_inner_self(
18091809
&self,
18101810
err: &mut Diagnostic,
18111811
source: SelfSource<'tcx>,
@@ -2175,7 +2175,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
21752175
}
21762176
}
21772177

2178-
fn check_for_deref_method(
2178+
fn note_derefed_ty_has_method(
21792179
&self,
21802180
err: &mut Diagnostic,
21812181
self_source: SelfSource<'tcx>,

‎tests/ui/argument-suggestions/issue-97484.stderr‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ LL | fn foo(a: &A, d: D, e: &E, g: G) {}
1616
help: consider borrowing here
1717
|
1818
LL | foo(&&A, B, C, D, &E, F, G);
19-
| ~~
19+
| +
2020
help: remove the extra arguments
2121
|
2222
LL - foo(&&A, B, C, D, E, F, G);

‎tests/ui/async-await/issues/issue-102206.stderr‎

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,14 +2,16 @@ error[E0308]: mismatched types
22
--> $DIR/issue-102206.rs:6:27
33
|
44
LL | std::mem::size_of_val(foo());
5-
| --------------------- ^^^^^
6-
| | |
7-
| | expected `&_`, found future
8-
| | help: consider borrowing here: `&foo()`
5+
| --------------------- ^^^^^ expected `&_`, found future
6+
| |
97
| arguments to this function are incorrect
108
|
119
note: function defined here
1210
--> $SRC_DIR/core/src/mem/mod.rs:LL:COL
11+
help: consider borrowing here
12+
|
13+
LL | std::mem::size_of_val(&foo());
14+
| +
1315

1416
error: aborting due to previous error
1517

‎tests/ui/coercion/coercion-slice.stderr‎

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,14 @@ error[E0308]: mismatched types
22
--> $DIR/coercion-slice.rs:4:21
33
|
44
LL | let _: &[i32] = [0];
5-
| ------ ^^^
6-
| | |
7-
| | expected `&[i32]`, found `[{integer}; 1]`
8-
| | help: consider borrowing here: `&[0]`
5+
| ------ ^^^ expected `&[i32]`, found `[{integer}; 1]`
6+
| |
97
| expected due to this
8+
|
9+
help: consider borrowing here
10+
|
11+
LL | let _: &[i32] = &[0];
12+
| +
1013

1114
error: aborting due to previous error
1215

‎tests/ui/inference/deref-suggestion.stderr‎

Lines changed: 12 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -98,19 +98,23 @@ error[E0308]: mismatched types
9898
--> $DIR/deref-suggestion.rs:40:17
9999
|
100100
LL | let s = S { u };
101-
| ^
102-
| |
103-
| expected `&u32`, found integer
104-
| help: consider borrowing here: `u: &u`
101+
| ^ expected `&u32`, found integer
102+
|
103+
help: consider borrowing here
104+
|
105+
LL | let s = S { u: &u };
106+
| ++++
105107

106108
error[E0308]: mismatched types
107109
--> $DIR/deref-suggestion.rs:42:20
108110
|
109111
LL | let s = S { u: u };
110-
| ^
111-
| |
112-
| expected `&u32`, found integer
113-
| help: consider borrowing here: `&u`
112+
| ^ expected `&u32`, found integer
113+
|
114+
help: consider borrowing here
115+
|
116+
LL | let s = S { u: &u };
117+
| +
114118

115119
error[E0308]: mismatched types
116120
--> $DIR/deref-suggestion.rs:45:17

‎tests/ui/issues/issue-11374.stderr‎

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,8 @@ error[E0308]: mismatched types
22
--> $DIR/issue-11374.rs:26:15
33
|
44
LL | c.read_to(v);
5-
| ------- ^
6-
| | |
7-
| | expected `&mut [u8]`, found `Vec<_>`
8-
| | help: consider mutably borrowing here: `&mut v`
5+
| ------- ^ expected `&mut [u8]`, found `Vec<_>`
6+
| |
97
| arguments to this method are incorrect
108
|
119
= note: expected mutable reference `&mut [u8]`
@@ -15,6 +13,10 @@ note: method defined here
1513
|
1614
LL | pub fn read_to(&mut self, vec: &mut [u8]) {
1715
| ^^^^^^^ --------------
16+
help: consider mutably borrowing here
17+
|
18+
LL | c.read_to(&mut v);
19+
| ++++
1820

1921
error: aborting due to previous error
2022

‎tests/ui/issues/issue-17033.stderr‎

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,14 @@ error[E0308]: mismatched types
22
--> $DIR/issue-17033.rs:2:10
33
|
44
LL | (*p)(())
5-
| ---- ^^
6-
| | |
7-
| | expected `&mut ()`, found `()`
8-
| | help: consider mutably borrowing here: `&mut ()`
5+
| ---- ^^ expected `&mut ()`, found `()`
6+
| |
97
| arguments to this function are incorrect
8+
|
9+
help: consider mutably borrowing here
10+
|
11+
LL | (*p)(&mut ())
12+
| ++++
1013

1114
error: aborting due to previous error
1215

‎tests/ui/issues/issue-18819.stderr‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ LL | fn print_x(_: &dyn Foo<Item=bool>, extra: &str) {
1919
help: consider borrowing here
2020
|
2121
LL | print_x(&X);
22-
| ~~
22+
| +
2323
help: provide the argument
2424
|
2525
LL | print_x(/* &dyn Foo<Item = bool> */, /* &str */);

0 commit comments

Comments
 (0)