about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/delegate.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-09-08reviewlcnr-1/+1
2025-09-08pass `sub_relations` into canonical querieslcnr-2/+3
2025-09-08eagerly compute `sub_relations` againlcnr-7/+6
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-1/+0
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-1/+0
2025-07-30stall ConstArgHasType in compute_goal_fast_pathMichael Goulet-0/+7
2025-07-20Consider param-env for fast pathMichael Goulet-15/+7
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-3/+1
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-1/+7
2025-07-13Simplify make_query_region_constraintsMichael Goulet-7/+1
2025-06-27Auto merge of #142223 - compiler-errors:perf-wf, r=lcnrbors-0/+10
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-1/+1
2025-06-24Introduce trivial WF functions, use it in fast pathMichael Goulet-0/+10
2025-06-16trait_sel: extend fast path with sized hierarchyDavid Wood-2/+9
2025-06-02Fast path for subtype and coercion goalsMichael Goulet-0/+11
2025-06-02Fast path for stalled obligations on self tyMichael Goulet-0/+10
2025-05-29Tweak fast path trait handlingMichael Goulet-21/+37
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-26RenameMichael Goulet-1/+1
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-1/+1
2025-05-23yeet `CanonicalVarInfo`lcnr-3/+3
2025-05-18Fast path for sized predMichael Goulet-0/+16
2025-05-18Fast path for processing some obligations in the new solverMichael Goulet-2/+34
2025-05-07opaque_type_storage to InferCtxtLikelcnr-47/+0
2025-05-06support duplicates in the opaque_types_storagelcnr-5/+32
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-3/+3
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-4/+4
2025-04-26convert some `GenericArg` to `Term`lcnr-5/+9
2025-04-03add `TypingMode::Borrowck`lcnr-0/+1
2025-04-01simplify Interner opaque types APIlcnr-18/+9
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-29 06:19:00 +0000