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
..
error_reporting	Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obk	2025-03-06 12:22:25 -05:00
errors	Teach structured errors to display short Ty	2025-02-25 16:56:03 +00:00
solve	Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrenn	2025-03-01 11:34:01 +01:00
traits	Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obk	2025-03-06 12:22:25 -05:00
errors.rs	Teach structured errors to display short Ty	2025-02-25 16:56:03 +00:00
infer.rs	Suggest Semicolon in Incorrect Repeat Expressions	2024-12-21 02:30:50 +00:00
lib.rs	stabilize extract_if	2025-02-23 21:11:12 +07:00
regions.rs	Only use implied bounds hack if bevy, and use deeply normalize in implied bounds hack	2025-03-04 18:18:48 +00:00
solve.rs	impossible obligations check fast path	2024-10-10 06:09:50 -04:00