summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/delegate.rs
AgeCommit message (Expand)AuthorLines
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