about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+9
2023-02-10Multiple candidates with same response is not ambiguousMichael Goulet-3/+5
2023-02-09Rollup merge of #107815 - compiler-errors:new-solver-no-auto-if-impl, r=lcnrDylan DPC-0/+14
2023-02-09Disqualify auto-trait builtin impl in new solver if impl existsMichael Goulet-0/+14
2023-02-09Move winnowing to assemblyMichael Goulet-140/+81
2023-02-09Implement a dummy drop-in-favor-of for the new solverMichael Goulet-19/+33
2023-02-09Use elaborated item bounds for alias typesMichael Goulet-4/+1
2023-02-08Rollup merge of #107799 - lcnr:update-provisional-result, r=oli-obkMichael Goulet-5/+8
2023-02-08correctly update goals in the cachelcnr-5/+8
2023-02-08Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnrMatthias Krüger-11/+11
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-11/+11
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-7/+7
2023-02-03intern external constraintsMichael Goulet-21/+17
2023-02-03Use new helper inside probeWilco Kusee-6/+2
2023-02-01Simplify discriminant_kind goal using new helper functionWilco Kusee-14/+7
2023-02-01Add candidates for DiscriminantKind builtinWilco Kusee-0/+36
2023-01-31Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errorsGuillaume Gomez-45/+86
2023-01-30nitsMichael Goulet-16/+16
2023-01-30Trait upcasting support in new solverMichael Goulet-59/+107
2023-01-30Implement unsizing in the new trait solverMichael Goulet-0/+192
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-1/+1
2023-01-29Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource...Matthias Krüger-8/+5
2023-01-28Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnrbors-26/+4
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-28Use field-less variant for AliasBound.Lenko Donchev-6/+5
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-7/+5
2023-01-28Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnrMatthias Krüger-23/+54
2023-01-27Remove `ControlFlow::{BREAK, CONTINUE}`Scott McMurray-4/+4
2023-01-28Auto merge of #101692 - cjgillot:generator-lazy-witness, r=oli-obkbors-6/+17
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+7
2023-01-27Micro-optimization in consider_assumptionMichael Goulet-2/+6
2023-01-27Add some commentsMichael Goulet-0/+31
2023-01-27No need to probe when computing goalsMichael Goulet-21/+17
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+9
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-6/+1
2023-01-27Auto merge of #107372 - JohnTitor:rollup-zkl2ges, r=JohnTitorbors-13/+11
2023-01-27assert that solver results are stablelcnr-8/+46
2023-01-27small refactor to new projection codelcnr-37/+40
2023-01-26fixup new usages of fn_sig, bound_fn_sig after rebasingKyle Matsuda-1/+1
2023-01-26Make make_identity take CanonicalVarInfosMichael Goulet-21/+2
2023-01-26Intern CanonicalVarValuesMichael Goulet-22/+19
2023-01-26solver comments + remove `TyCtxt::evaluate_goal`lcnr-13/+11
2023-01-26Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnrMatthias Krüger-22/+33
2023-01-26Rollup merge of #107285 - compiler-errors:new-solver-future-and-generator, r=...Matthias Krüger-11/+184
2023-01-26Rollup merge of #107272 - compiler-errors:new-solver-more-predicates, r=lcnrMatthias Krüger-4/+33
2023-01-26ICE in new solver if we see an inference variableMichael Goulet-22/+33
2023-01-26Implement Generator and FutureMichael Goulet-1/+127
2023-01-26Report the right fulfillment errorsMichael Goulet-10/+57
2023-01-25Don't normalize obligations in WF goal for the new solverMichael Goulet-5/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 02:17:53 +0000