mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-03 13:37:37 +00:00
![]() 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 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |