summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2023-05-19update recursion depth in `confirm_candidate`lcnr-0/+6
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-1/+4
2023-05-12Note base types of coercionMichael Goulet-24/+12
2023-05-09Rename `expected_trait_ref` to `self_ty_trait_ref`Nilstrieb-2/+2
2023-05-09Shrink `SelectionError` a lotNilstrieb-1/+8
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-6/+1
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-5/+7
2023-04-26Remove some more useless `ty::Binder::dummy` callsMaybe Waffle-5/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-15/+29
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-23/+25
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-0/+1
2023-03-21remove some trait solver helperslcnr-28/+16
2023-03-15always make `define_opaque_types` explicitlcnr-11/+10
2023-03-06Do not ICE when we have fn pointer Fn obligations with bound vars in the self...Michael Goulet-3/+11
2023-02-24Rename many interner functions.Nicholas Nethercote-6/+7
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-0/+2
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-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-2/+4
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-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-1/+1
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-6/+6
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-0/+1
2023-01-30Track bound types like bound regionsMichael Goulet-1/+1
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-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-3/+8
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+3
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-0/+1
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-3/+2
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-3/+3
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-3/+2
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-3/+3
2023-01-15instantiate_own doesn't need to return a pair of vectorsMichael Goulet-3/+2
2023-01-12attempt to make a minimal example workDeadbeef-1/+1
2023-01-04Split `-Zchalk` flag into `-Ztrait-solver=(stock|chalk|next)` flagMichael Goulet-2/+2
2022-12-28Allow trait method paths to satisfy const Fn boundsDeadbeef-7/+19
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine identical alias armsMichael Goulet-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+4
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 08:18:11 +0000