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
..
src	Rollup merge of #121100 - estebank:issue-71252, r=compiler-errors	2024-02-18 05:10:16 +01:00
Cargo.toml	avoid always rerunning in case of a cycle	2024-01-09 11:19:34 +01:00
messages.ftl	make better async fn kind errors	2024-02-15 15:59:35 +00:00