summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2022-04-02Make GATs object safe under generic_associated_types_extended featureJack Huey-4/+66
2022-03-24Properly track `ImplObligation`sEsteban Kuber-31/+44
2022-03-21Tidy upDeadbeef-4/+8
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-17/+43
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-3/+3
2022-03-14check all dyn obligations, actuallyMichael Goulet-17/+13
2022-03-14check Projection supertrait bounds when confirming dyn candidateMichael Goulet-1/+3
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-12/+8
2022-02-21Auto merge of #93505 - lcnr:substsref-vs-ty-list, r=michaelwoeristerbors-6/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-6/+4
2022-02-19Consolidate normalization in confirm_poly_trait_refsMichael Goulet-73/+30
2022-02-19rustc_trait_selection: adopt let else in more placesest31-12/+8
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2022-01-26drive-by: use is_const and is_const_if_constMichael Goulet-3/+1
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-2/+2
2022-01-19Foreign types are trivially dropMichael Goulet-1/+2
2022-01-19skip some layers in const drop confirmationMichael Goulet-70/+91
2022-01-19never type is const DropMichael Goulet-2/+4
2022-01-18Check const Drop impls considering ConstIfConst boundsMichael Goulet-2/+104
2022-01-16Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakisMatthias Krüger-1/+3
2022-01-15initial revertEllen-2/+2
2022-01-10Elaborate param_env predicates when checking if type outlives involving proje...Jack Huey-1/+3
2021-12-25normalize env constness for nested obligationsDeadbeef-0/+33
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-7/+9
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-9/+7
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-6/+8
2021-11-06Auto merge of #88441 - jackh726:closure_norm, r=nikomatsakisbors-10/+24
2021-10-30stabilize `relaxed_struct_unsize`lcnr-40/+12
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-2/+2
2021-10-18Normalize obligations for closure confirmationjackh726-10/+24
2021-10-01Rollup merge of #88963 - fee1-dead:const-iterator, r=oli-obkManish Goregaokar-1/+1
2021-09-28More tracing instrumentationOli Scherer-2/+2
2021-09-15Remove ToPolyTraitRef impl for TraitRefjackh726-1/+2
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-3/+3
2021-09-15Coerce const FnDefs to implement const Fn traitsDeadbeef-1/+1
2021-09-09Const drop selection candidatesDeadbeef-1/+3
2021-08-27Add `ty::BoundConstness`Deadbeef-3/+2
2021-08-26add `tcx` to `fn walk`lcnr-4/+4
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-18Fold `vtable_trait_upcasting_coercion_new_vptr_slot` logic into obligation pr...Charles Lew-8/+43
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-50/+85
2021-07-31Implement trait upcasting coercion type-checking.Charles Lew-4/+50
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-12/+7
2021-04-27Make traits with GATs not object safeJack Huey-4/+3
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-31Some rebinds and dummysJack Huey-1/+1
2021-02-15Add `ptr::Pointee` trait (for all types) and `ptr::metadata` functionSimon Sapin-1/+4
2021-02-04add `relaxed_struct_unsize` feature gateBastian Kauschke-15/+44
2021-02-04relax adt unsizing requirementsBastian Kauschke-8/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-09 20:06:59 +0000