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
..
infer	Fix pretty printing of unsafe binders	2025-03-03 01:34:09 +00:00
traits	Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obk	2025-03-06 12:22:25 -05:00
mod.rs	Swap Vec<PredicateObligation> to type alias	2024-10-12 15:17:08 +01:00