about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/trait_goals.rs
AgeCommit message (Expand)AuthorLines
2023-02-08Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnrMatthias Krüger-1/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-1/+1
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-1/+1
2023-02-01Add candidates for DiscriminantKind builtinWilco Kusee-0/+8
2023-01-30nitsMichael Goulet-13/+13
2023-01-30Trait upcasting support in new solverMichael Goulet-56/+82
2023-01-30Implement unsizing in the new trait solverMichael Goulet-0/+175
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-27remove the usize field from CandidateSource::AliasBoundLenko Donchev-1/+1
2023-01-27Micro-optimization in consider_assumptionMichael Goulet-1/+3
2023-01-26Implement Generator and FutureMichael Goulet-0/+44
2023-01-24implement builtin candidateBoxy-0/+7
2023-01-21Address goal nitsMichael Goulet-3/+3
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-3/+38
2023-01-19trait solver: PointerSizedMichael Goulet-2/+25
2023-01-18Handle structural traits more gracefullyMichael Goulet-215/+33
2023-01-18no subtyping in the new trait solverMichael Goulet-4/+6
2023-01-18Sized, Copy/CloneMichael Goulet-3/+134
2023-01-18Auto and alias traitsMichael Goulet-8/+124
2023-01-18implement consider_assumptionMichael Goulet-5/+14
2023-01-18Canonicalize trait solver response inside probeMichael Goulet-5/+5
2023-01-18add `eq` to `InferCtxtExt`lcnr-14/+4
2023-01-18remove assembly context and impl a bit morelcnr-56/+32
2023-01-18instantiate canonical vars eagerlylcnr-11/+11
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-09Check impl's where clauses in consider_impl_candidate in experimental solverMichael Goulet-4/+13
2022-12-20dedup assemblylcnr-157/+55
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+282
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 18:21:36 +0000