Files
rust/compiler/rustc_middle/src
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-04-20 15:59:54 +02:00
2024-05-18 16:21:43 -04:00
2024-05-18 16:21:43 -04:00
2024-05-01 22:19:11 -04:00
2024-05-10 15:44:03 -04:00
2024-05-17 18:33:37 -03:00