summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/delegate.rs
AgeCommit message (Expand)AuthorLines
2025-03-23Obligation::as_goalMichael Goulet-1/+1
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-8/+4
2025-02-28Remove `rustc_transmute`'s dependence on `rustc_infer`.Nicholas Nethercote-1/+1
2025-02-05Pass spans around new solverMichael Goulet-6/+9
2025-02-05Remove span from delegateMichael Goulet-2/+0
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-4/+5
2025-01-03Also in the new solverMichael Goulet-3/+2
2024-12-20remove non-borrowck member constraintslcnr-2/+0
2024-11-28support revealing defined opaque post borrowcklcnr-1/+3
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-12/+11
2024-10-29TypingMode :thinking:lcnr-15/+9
2024-10-17Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errorsMatthias Krüger-0/+1
2024-10-17SolverDelegate add assoc type for Infcxlcnr-0/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-2/+2
2024-10-11remove outdated FIXMEslcnr-0/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-2/+2
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-8/+0
2024-07-07Finish uplifting supertraitsMichael Goulet-8/+0
2024-07-07Get rid of trait_ref_is_knowable from delegateMichael Goulet-10/+0
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-169/+2
2024-06-21Rename a bunch of thingsMichael Goulet-0/+435
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 23:20:51 +0000