Unnamed repository; edit this file 'description' to name the repository.
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
Michael Goulet 2025-03-07
parent 34dd92c · parent c001c2a · commit c18b3f5
0 files changed, 0 insertions, 0 deletions