about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
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
2021-01-16Review changesJack Huey-2/+2
2020-12-19Auto merge of #80132 - matthewjasper:revert-eval-order, r=nikomatsakisbors-3/+3
2020-12-19More rebindsJack Huey-4/+2
2020-12-17Revert change to evaluation orderMatthew Jasper-3/+3
2020-12-17Auto merge of #79945 - jackh726:existential_trait_ref, r=nikomatsakisbors-24/+29
2020-12-11don't clone types that are copy (clippy::clone_on_copy)Matthias Krüger-2/+2
2020-12-11Move binder for dyn to each list itemJack Huey-24/+29
2020-11-22Thread `Constness` through selectionJonas Schievink-5/+7
2020-11-16compiler: fold by valueBastian Kauschke-16/+13
2020-10-22Normalize when finding trait object candidatesMatthew Jasper-41/+38
2020-10-21Fix ICE from projection cycleMatthew Jasper-12/+6
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-38/+21
2020-10-06Fix tests from rebaseMatthew Jasper-6/+11
2020-10-06Fix rebaseMatthew Jasper-2/+2
2020-10-06Don't require lifetime super-bounds on traits apply to trait objects of that ...Matthew Jasper-14/+17
2020-10-06Normalize super trait bounds when confirming object candidatesMatthew Jasper-9/+20
2020-10-06Avoid cycles from projection boundsMatthew Jasper-16/+20
2020-10-06Avoid cycle with projections from object typesMatthew Jasper-135/+41
2020-10-06Normalize projection bounds when considering candidatesMatthew Jasper-12/+21
2020-10-06Handle multiple applicable projection candidatesMatthew Jasper-7/+18
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-4/+13
2020-10-06Avoid cycle in nested obligations for object candidateMatthew Jasper-52/+175
2020-10-06Fix ICEMatthew Jasper-4/+5
2020-10-06Ensure that associated types for trait objects satisfy their boundsMatthew Jasper-13/+51
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-2/+2
2020-10-06Check projections are well-formed when using projection candidatesMatthew Jasper-5/+29
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-18/+14
2020-09-04Change ty.kind to a methodLeSeulArtichaut-6/+6
2020-08-30mv compiler to compiler/mark-0/+810
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 11:04:28 +0000