about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2021-09-27Auto merge of #89285 - jackh726:issue-88862, r=nikomatsakisbors-4/+4
2021-09-26Don't normalize opaque types with escaping late-bound regions.jackh726-4/+4
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-3/+3
2021-09-21Auto merge of #89125 - Aaron1011:remove-intercrate-cache, r=jackh726bors-6/+24
2021-09-20Don't use projection cache or candidate cache in intercrate modeAaron Hill-6/+24
2021-09-20Add helper function to `InferCtxt` that generates inference vars for unresolv...Oli Scherer-11/+1
2021-09-15Remove ToPolyTraitRef impl for TraitRefjackh726-3/+3
2021-09-15Auto merge of #88558 - fee1-dead:const-drop, r=oli-obkbors-2/+4
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-3/+3
2021-09-09Const drop selection candidatesDeadbeef-2/+4
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-47/+24
2021-08-24Review commentsjackh726-16/+38
2021-08-24Normalize associated types with bound varsJack Huey-39/+32
2021-08-22Fix typos “a”→“an”Frank Steffahn-2/+2
2021-08-18Fold `vtable_trait_upcasting_coercion_new_vptr_slot` logic into obligation pr...Charles Lew-1/+4
2021-07-17Add needs_normalizationjackh726-2/+18
2021-07-17Some perf optimizations and loggingjackh726-4/+6
2021-07-15Remove failed and review commentsjackh726-86/+56
2021-07-13WIP partial apply fixjackh726-101/+167
2021-07-09Replace associated item bound vars with placeholders when projecting.jackh726-0/+302
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-2/+2
2021-07-04Query-ify global limit attribute handlingAaron Hill-2/+2
2021-07-03Remove `ty::Binder::bind()`Yuki Okushi-1/+1
2021-05-16Always produce sub-obligations when using cached projection resultAaron Hill-9/+1
2021-03-31Track bound varsJack Huey-1/+4
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-29/+16
2021-02-15Add `ptr::Pointee` trait (for all types) and `ptr::metadata` functionSimon Sapin-1/+67
2021-02-13Remove unnecessary function parameters project.rsMatthew Jasper-21/+9
2021-02-13Don't go through TraitRef to relate projectionsMatthew Jasper-8/+7
2021-01-28Auto merge of #81055 - matthewjasper:non-fatal-overflow, r=nikomatsakisbors-8/+3
2021-01-16Review changesJack Huey-4/+4
2021-01-15Make hitting the recursion limit in projection non-fatalMatthew Jasper-8/+3
2020-12-20Prevent caching projections in the case of cyclesMatthew Jasper-6/+8
2020-12-20Make recursion limit fatal in projectMatthew Jasper-1/+8
2020-12-19More rebindsJack Huey-2/+4
2020-11-19Move `rustc_ty` -> `rustc_ty_utils`LeSeulArtichaut-1/+1
2020-11-16wordslcnr-2/+2
2020-11-16compiler: fold by valueBastian Kauschke-17/+16
2020-11-02revert #75443 update mir validatorBastian Kauschke-1/+1
2020-10-16Review commentsJack Huey-2/+2
2020-10-16map_bound_ref -> rebindJack Huey-4/+4
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-5/+7
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-102/+43
2020-10-06Fix rebaseMatthew Jasper-2/+2
2020-10-06Fix bootstrapMatthew Jasper-1/+3
2020-10-06Handle multiple trait-def projection candidatesMatthew Jasper-0/+7
2020-10-06Avoid cycles from projection boundsMatthew Jasper-3/+36
2020-10-06Avoid cycle with projections from object typesMatthew Jasper-130/+77
2020-10-06Normalize projection bounds when considering candidatesMatthew Jasper-18/+40
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-1/+1