Michael Goulet e3bf0a13cf Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr ... Use a proof tree visitor to refine the `Obligation` for error reporting in new solver With the magic of `ProofTreeVisitor`, we can close the gap that we have on `ObligationCause`s being not as descriptive in the new trait solver. r? lcnr Needs some work and obviously documentation.		2024-05-03 23:34:21 -04:00
..
src	Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr	2024-05-03 23:34:21 -04:00
Cargo.toml	bump itertools to 0.12	2024-03-08 12:34:05 +03:00
messages.ftl	Make #[diagnostic::on_unimplemented] format string parsing more robust	2024-03-21 08:27:26 +01:00