许杰友 Jieyou Xu (Joe) 4c1228276b Rollup merge of #125664 - compiler-errors:trace-tweaks, r=lcnr ... Tweak relations to no longer rely on `TypeTrace` Remove `At::trace`, and inline all of the `Trace::equate`,etc methods into `At`. The only nontrivial change is that we use `AliasTerm` to relate two unevaluated consts in the old-solver impl of `ConstEquate`, since `AliasTerm` does implement `ToTrace` and will relate the args structurally (shallowly). r? lcnr		2024-05-29 03:25:11 +01:00
..
src	Rollup merge of #125664 - compiler-errors:trace-tweaks, r=lcnr	2024-05-29 03:25:11 +01:00
Cargo.toml	Move NormalizesTo back down	2024-05-18 16:21:43 -04:00
messages.ftl	Make #[diagnostic::on_unimplemented] format string parsing more robust	2024-03-21 08:27:26 +01:00