León Orell Valerian Liehr
6499eb5577
Rollup merge of #121100 - estebank:issue-71252, r=compiler-errors
Detect when method call on argument could be removed to fulfill failed trait bound
When encountering
```rust
struct Foo;
struct Bar;
impl From<Bar> for Foo {
fn from(_: Bar) -> Self { Foo }
}
fn qux(_: impl From<Bar>) {}
fn main() {
qux(Bar.into());
}
```
Suggest removing `.into()`:
```
error[E0283]: type annotations needed
--> f100.rs:8:13
|
8 | qux(Bar.into());
| --- ^^^^
| |
| required by a bound introduced by this call
|
= note: cannot satisfy `_: From<Bar>`
note: required by a bound in `qux`
--> f100.rs:6:16
|
6 | fn qux(_: impl From<Bar>) {}
| ^^^^^^^^^ required by this bound in `qux`
help: try using a fully qualified path to specify the expected types
|
8 | qux(<Bar as Into<T>>::into(Bar));
| +++++++++++++++++++++++ ~
help: consider removing this method call, as the receiver has type `Bar` and `Bar: From<Bar>` trivially holds
|
8 - qux(Bar.into());
8 + qux(Bar);
|
```
Fix #71252
2024-02-18 05:10:16 +01:00
..
2024-02-16 00:27:32 +01:00
2024-02-16 15:07:37 +00:00
2024-02-15 09:35:11 +11:00
2024-02-16 00:27:32 +01:00
2024-02-15 08:09:42 +01:00
2024-02-17 18:47:40 +01:00
2024-02-15 14:46:08 +11:00
2024-02-17 18:47:42 +01:00
2024-02-17 18:47:42 +01:00
2024-02-17 18:47:42 +01:00
2024-02-17 18:47:42 +01:00
2024-02-17 18:47:40 +01:00
2024-02-16 07:46:31 +00:00
2024-02-15 10:34:41 +00:00
2024-02-17 18:47:40 +01:00
2024-02-17 18:47:40 +01:00
2024-02-16 09:53:01 +00:00
2024-02-17 11:23:08 +01:00
2024-02-17 18:47:43 +01:00
2024-02-17 18:47:40 +01:00
2024-02-17 18:47:42 +01:00
2024-02-17 18:47:40 +01:00
2024-02-17 18:47:40 +01:00
2024-02-16 09:53:01 +00:00
2024-02-17 11:23:04 +01:00
2024-02-17 18:47:40 +01:00
2024-02-16 09:53:01 +00:00
2024-02-17 18:47:40 +01:00
2024-02-16 09:53:01 +00:00
2024-02-17 18:47:43 +01:00
2024-02-17 12:46:18 +01:00
2024-02-16 07:46:31 +00:00
2024-02-15 08:09:42 +01:00
2024-02-15 08:09:42 +01:00
2024-02-17 18:47:40 +01:00
2024-02-15 08:09:42 +01:00
2024-02-17 18:47:40 +01:00
2024-02-15 09:20:18 +01:00
2024-02-16 09:53:01 +00:00
2024-02-17 18:47:42 +01:00
2024-02-18 05:10:16 +01:00
2024-02-16 09:53:01 +00:00
2024-02-15 09:20:18 +01:00