Guillaume Gomez aa6fb1cfcb Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr ...

Make proof tree probing and `Candidate`/`CandidateSource` generic over interner

`<TyCtxt<'tcx>>` is ugly, but will become `<I>` when things actually become generic.

r? lcnr

2024-06-15 19:51:36 +02:00

..

src

Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr

2024-06-15 19:51:36 +02:00

Cargo.toml

Remove some unnecessary crate dependencies.

2024-06-13 15:03:43 +10:00

messages.ftl

Cleanup: Fix up some diagnostics

2024-05-22 22:40:34 +02:00