Skip to content

Commit 9c43861

Browse files
authoredOct 1, 2019
Rollup merge of rust-lang#64933 - sam09:master, r=estebank
Fixes rust-lang#64919. Suggest fix based on operator precendence. Fixes rust-lang#64919
2 parents 4492cd3 + 9e4eb46 commit 9c43861

File tree

8 files changed

+49
-7
lines changed

8 files changed

+49
-7
lines changed
 

‎src/librustc_typeck/check/mod.rs

+6-1
Original file line numberDiff line numberDiff line change
@@ -128,6 +128,7 @@ use syntax::attr;
128128
use syntax::feature_gate::{GateIssue, emit_feature_err};
129129
use syntax::source_map::{DUMMY_SP, original_sp};
130130
use syntax::symbol::{kw, sym};
131+
use syntax::util::parser::ExprPrecedence;
131132

132133
use std::cell::{Cell, RefCell, Ref, RefMut};
133134
use std::collections::hash_map::Entry;
@@ -4345,7 +4346,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
43454346
let max_len = receiver.rfind(".").unwrap();
43464347
format!("{}{}", &receiver[..max_len], method_call)
43474348
} else {
4348-
format!("{}{}", receiver, method_call)
4349+
if expr.precedence().order() < ExprPrecedence::MethodCall.order() {
4350+
format!("({}){}", receiver, method_call)
4351+
} else {
4352+
format!("{}{}", receiver, method_call)
4353+
}
43494354
};
43504355
Some(if is_struct_pat_shorthand_field {
43514356
format!("{}: {}", receiver, sugg)

‎src/test/ui/conversion-methods.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ LL | let _prove_piercing_earnest: Vec<usize> = &[1, 2, 3];
4141
| ^^^^^^^^^^
4242
| |
4343
| expected struct `std::vec::Vec`, found reference
44-
| help: try using a conversion method: `&[1, 2, 3].to_vec()`
44+
| help: try using a conversion method: `(&[1, 2, 3]).to_vec()`
4545
|
4646
= note: expected type `std::vec::Vec<usize>`
4747
found type `&[{integer}; 3]`

‎src/test/ui/infinite/infinite-autoderef.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ LL | x = box x;
55
| ^^^^^
66
| |
77
| cyclic type of infinite size
8-
| help: try using a conversion method: `box x.to_string()`
8+
| help: try using a conversion method: `(box x).to_string()`
99

1010
error[E0055]: reached the recursion limit while auto-dereferencing `Foo`
1111
--> $DIR/infinite-autoderef.rs:25:5

‎src/test/ui/mismatched_types/abridged.rs

+9
Original file line numberDiff line numberDiff line change
@@ -50,4 +50,13 @@ fn e() -> X<X<String, String>, String> {
5050
x //~ ERROR mismatched types
5151
}
5252

53+
fn f() -> String {
54+
1+2 //~ ERROR mismatched types
55+
}
56+
57+
58+
fn g() -> String {
59+
-2 //~ ERROR mismatched types
60+
}
61+
5362
fn main() {}

‎src/test/ui/mismatched_types/abridged.stderr

+29-1
Original file line numberDiff line numberDiff line change
@@ -66,6 +66,34 @@ LL | x
6666
= note: expected type `X<X<_, std::string::String>, _>`
6767
found type `X<X<_, {integer}>, _>`
6868

69-
error: aborting due to 6 previous errors
69+
error[E0308]: mismatched types
70+
--> $DIR/abridged.rs:54:5
71+
|
72+
LL | fn f() -> String {
73+
| ------ expected `std::string::String` because of return type
74+
LL | 1+2
75+
| ^^^
76+
| |
77+
| expected struct `std::string::String`, found integer
78+
| help: try using a conversion method: `(1+2).to_string()`
79+
|
80+
= note: expected type `std::string::String`
81+
found type `{integer}`
82+
83+
error[E0308]: mismatched types
84+
--> $DIR/abridged.rs:59:5
85+
|
86+
LL | fn g() -> String {
87+
| ------ expected `std::string::String` because of return type
88+
LL | -2
89+
| ^^
90+
| |
91+
| expected struct `std::string::String`, found integer
92+
| help: try using a conversion method: `(-2).to_string()`
93+
|
94+
= note: expected type `std::string::String`
95+
found type `{integer}`
96+
97+
error: aborting due to 8 previous errors
7098

7199
For more information about this error, try `rustc --explain E0308`.

‎src/test/ui/occurs-check-2.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ LL | f = box g;
55
| ^^^^^
66
| |
77
| cyclic type of infinite size
8-
| help: try using a conversion method: `box g.to_string()`
8+
| help: try using a conversion method: `(box g).to_string()`
99

1010
error: aborting due to previous error
1111

‎src/test/ui/occurs-check.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ LL | f = box f;
55
| ^^^^^
66
| |
77
| cyclic type of infinite size
8-
| help: try using a conversion method: `box f.to_string()`
8+
| help: try using a conversion method: `(box f).to_string()`
99

1010
error: aborting due to previous error
1111

‎src/test/ui/span/coerce-suggestions.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ LL | f = box f;
4444
| ^^^^^
4545
| |
4646
| cyclic type of infinite size
47-
| help: try using a conversion method: `box f.to_string()`
47+
| help: try using a conversion method: `(box f).to_string()`
4848

4949
error[E0308]: mismatched types
5050
--> $DIR/coerce-suggestions.rs:21:9

0 commit comments

Comments
 (0)