about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/delegate.rs
AgeCommit message (Expand)AuthorLines
2025-09-08Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwUbors-1/+3
2025-09-08pass `sub_relations` into canonical querieslcnr-1/+3
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+1
2025-05-29Tweak fast path trait handlingMichael Goulet-3/+1
2025-05-23yeet `CanonicalVarInfo`lcnr-1/+1
2025-05-18Fast path for processing some obligations in the new solverMichael Goulet-0/+8
2025-05-07opaque_type_storage to InferCtxtLikelcnr-22/+0
2025-05-06support duplicates in the opaque_types_storagelcnr-1/+10
2025-04-26convert some `GenericArg` to `Term`lcnr-1/+1
2025-04-01simplify Interner opaque types APIlcnr-13/+3
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-1/+0
2025-02-05Pass spans around new solverMichael Goulet-2/+4
2025-02-05Remove span from delegateMichael Goulet-3/+1
2025-01-03Also in the new solverMichael Goulet-1/+4
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-11-01 10:18:25 +0000