about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+4
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-8/+2
2023-02-18Don't ICE on bound types in sized conditionsMichael Goulet-4/+5
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-3/+1
2023-02-17Avoid double-interning some `BoundVariableKind`s.Nicholas Nethercote-2/+0
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-2/+2
2023-02-17add predicate evaluation logicBoxy-2/+8
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+3
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-3/+5
2023-02-16changes from reviewKyle Matsuda-1/+3
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-3/+3
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-17Rollup merge of #108136 - eggyal:unmet_trait_alias_bound_on_generic_impl, r=c...Matthias Krüger-2/+2
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-1/+8
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-2/+2
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-5/+2
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-5/+2
2023-02-16Be better about bound varsMichael Goulet-1/+8
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-3/+3
2023-02-14Auto merge of #103695 - LYF1999:yf/103563, r=lcnrbors-1/+46
2023-02-13fix: Unexpected trait bound not satisfied in HRTByifei-1/+46
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+3
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-1/+1
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-1/+3
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-1/+1
2023-01-30Track bound types like bound regionsMichael Goulet-1/+1
2023-01-30Modify primary span label for E0308Esteban Küber-1/+3
2023-01-30Rollup merge of #107146 - compiler-errors:unsizing-params, r=cjgillotDylan DPC-44/+10
2023-01-28Make unsizing_params_for_adt into a queryMichael Goulet-44/+10
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-3/+3
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-7/+71
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+15
2023-01-26Use new solver during selectionMichael Goulet-14/+43
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-1/+3
2023-01-20Filter predicates first for fast-path type flagsMichael Goulet-2/+2
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-4/+3
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-9/+9
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-4/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-9/+9
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-7/+6
2023-01-15instantiate_own doesn't need to return a pair of vectorsMichael Goulet-3/+2
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-2/+2
2023-01-13Auto merge of #106004 - fee1-dead-contrib:const-closures, r=oli-obkbors-16/+20
2023-01-12fix fmt and blessDeadbeef-6/+2
2023-01-12attempt to make a minimal example workDeadbeef-16/+24
2023-01-11Filter impl and where-clause candidates that reference errorsMichael Goulet-1/+5