about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly.rs
AgeCommit message (Expand)AuthorLines
2023-03-29Do not consider elaborated projection predicates for objects in new solverMichael Goulet-3/+16
2023-03-28Check for overflow in assemble_candidates_after_normalizing_self_tyMichael Goulet-18/+32
2023-03-28Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnrbors-0/+8
2023-03-27Add a builtin `FnPtr` traitlcnr-0/+8
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-1/+1
2023-03-24Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnrMatthias Krüger-0/+7
2023-03-22Implement non-const Destruct trait in new solverMichael Goulet-0/+7
2023-03-21new solver cleanup + coherencelcnr-29/+40
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-27/+20
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-1/+3
2023-03-12Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=NilstriebMatthias Krüger-1/+2
2023-03-11Add a fixme and address a more non trivial caseest31-1/+2
2023-03-10Move some solver stuff to middleMichael Goulet-1/+2
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-1/+10
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-7/+6
2023-02-18Add consider_implied_clauseMichael Goulet-19/+11
2023-02-18Check that built-in callable types validate their output type is `Sized` (in ...Michael Goulet-0/+12
2023-02-10Multiple candidates with same response is not ambiguousMichael Goulet-3/+5
2023-02-09Move winnowing to assemblyMichael Goulet-1/+75
2023-02-09Use elaborated item bounds for alias typesMichael Goulet-4/+1
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-4/+4
2023-02-01Add candidates for DiscriminantKind builtinWilco Kusee-0/+8
2023-01-30nitsMichael Goulet-2/+2
2023-01-30Trait upcasting support in new solverMichael Goulet-3/+18
2023-01-30Implement unsizing in the new trait solverMichael Goulet-0/+10
2023-01-29Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource...Matthias Krüger-6/+3
2023-01-28Use field-less variant for AliasBound.Lenko Donchev-4/+3
2023-01-27remove the usize field from CandidateSource::AliasBoundLenko Donchev-5/+3
2023-01-28Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnrMatthias Krüger-0/+25
2023-01-27Add some commentsMichael Goulet-0/+25
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+2
2023-01-26Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnrMatthias Krüger-4/+6
2023-01-26ICE in new solver if we see an inference variableMichael Goulet-4/+6
2023-01-26Implement Generator and FutureMichael Goulet-0/+14
2023-01-24implement builtin candidateBoxy-0/+7
2023-01-21Address goal nitsMichael Goulet-4/+2
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-1/+18
2023-01-19trait solver: PointerSizedMichael Goulet-0/+7
2023-01-19Assert goal is fully normalized during assembleMichael Goulet-1/+4
2023-01-19HACK: self ty ambiguity hackMichael Goulet-1/+11
2023-01-18Sized, Copy/CloneMichael Goulet-0/+10
2023-01-18Auto and alias traitsMichael Goulet-6/+19
2023-01-18Assemble object bound candidatesMichael Goulet-0/+52
2023-01-18Canonicalize trait solver response inside probeMichael Goulet-14/+8
2023-01-18remove assembly context and impl a bit morelcnr-48/+206
2023-01-18instantiate canonical vars eagerlylcnr-51/+27
2023-01-12Implement dummy query responses and a jank instantiateMichael Goulet-7/+4
2022-12-20dedup assemblylcnr-0/+150
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 04:06:06 +0000