summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/delegate.rs
AgeCommit message (Expand)AuthorLines
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-2/+2
2024-10-29TypingMode :thinking:lcnr-3/+1
2024-10-17Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errorsMatthias Krüger-3/+2
2024-10-17SolverDelegate add assoc type for Infcxlcnr-3/+2
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-1/+1
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-6/+0
2024-07-07Finish uplifting supertraitsMichael Goulet-6/+0
2024-07-07Get rid of trait_ref_is_knowable from delegateMichael Goulet-9/+0
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-88/+8
2024-06-21Rename a bunch of thingsMichael Goulet-0/+205