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

Convert TypeVisitor and DefIdVisitor to use VisitorResult

2024-03-05 13:28:15 -05:00

messages.ftl

Use fn ptr signature instead of {closure@..} in infer error

2024-04-10 00:41:27 +00:00