rust/compiler
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
..
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-16 09:52:01 -04:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00
2024-05-17 18:33:37 -03:00