about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/project_goals.rs
AgeCommit message (Expand)AuthorLines
2023-01-30Trait upcasting support in new solverMichael Goulet-0/+7
2023-01-30Implement unsizing in the new trait solverMichael Goulet-0/+7
2023-01-29Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource...Matthias Krüger-1/+1
2023-01-28Use field-less variant for AliasBound.Lenko Donchev-1/+1
2023-01-28Rollup merge of #107398 - scottmcm:its-their-funeral, r=dtolnayMatthias Krüger-4/+4
2023-01-27remove the usize field from CandidateSource::AliasBoundLenko Donchev-1/+1
2023-01-28Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnrMatthias Krüger-1/+3
2023-01-27Remove `ControlFlow::{BREAK, CONTINUE}`Scott McMurray-4/+4
2023-01-28Auto merge of #101692 - cjgillot:generator-lazy-witness, r=oli-obkbors-0/+1
2023-01-27Micro-optimization in consider_assumptionMichael Goulet-1/+3
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-27assert that solver results are stablelcnr-2/+12
2023-01-27small refactor to new projection codelcnr-37/+40
2023-01-26solver comments + remove `TyCtxt::evaluate_goal`lcnr-2/+2
2023-01-26Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnrMatthias Krüger-2/+4
2023-01-26ICE in new solver if we see an inference variableMichael Goulet-2/+4
2023-01-26Implement Generator and FutureMichael Goulet-1/+68
2023-01-24no without_constnessBoxy-2/+1
2023-01-24sorry ericaBoxy-1/+1
2023-01-24implement builtin candidateBoxy-0/+92
2023-01-21Address goal nitsMichael Goulet-4/+3
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-2/+36
2023-01-19trait solver: PointerSizedMichael Goulet-0/+7
2023-01-18Rollup merge of #107030 - albertlarsan68:patch-3, r=lcnrMichael Goulet-1/+1
2023-01-18no subtyping in the new trait solverMichael Goulet-7/+4
2023-01-18Sized, Copy/CloneMichael Goulet-0/+7
2023-01-18Auto and alias traitsMichael Goulet-7/+21
2023-01-18implement consider_assumptionMichael Goulet-5/+30
2023-01-18Canonicalize trait solver response inside probeMichael Goulet-5/+5
2023-01-18Correct typoAlbert Larsan-1/+1
2023-01-18add commentlcnr-0/+1
2023-01-18update project to emulate a projection cachelcnr-13/+115
2023-01-18add `eq` to `InferCtxtExt`lcnr-22/+7
2023-01-18remove assembly context and impl a bit morelcnr-34/+40
2023-01-18instantiate canonical vars eagerlylcnr-17/+19
2023-01-16Rollup merge of #106835 - compiler-errors:new-solver-gat-rebase-oops, r=lcnrMatthias Krüger-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14new trait solver: rebase impl substs for gats correctlyMichael Goulet-1/+1
2023-01-09Check impl's where clauses in consider_impl_candidate in experimental solverMichael Goulet-2/+8
2022-12-20dedup assemblylcnr-141/+61
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+324
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 23:40:16 +0000