Michael Goulet 1458b3560f

Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obk ...

Improve error message for `AsyncFn` trait failure for RPIT

Use a `WellFormedDerived` obligation cause to make sure we can turn an `AsyncFnKindHelper` trait goal into its parent `AsyncFn*` goal, then fix the logic for reporting `AsyncFn*` kind mismatches.

Best reviewed without whitespace.

Fixes #137905

r? oli-obk

2025-03-06 12:22:25 -05:00

..

src

Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obk

2025-03-06 12:22:25 -05:00

Cargo.toml

…

messages.ftl

…