rust/compiler/rustc_trait_selection
bors 7690f29bdb Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnr
Uplift more query stuff

- Uplift various query input/response internals
- Uplift the `ProofTree` structures and make the `ProofTreeBuilder` stuff (mostly) generic over `Interner`
- Stop using `TyCtxt::def_kind` in favor of `AliasTerm::kind`

r? lcnr
2024-05-19 00:03:48 +00:00
..
src Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnr 2024-05-19 00:03:48 +00: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