summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2021-12-20Auto merge of #92041 - Aaron1011:remove-speculative-evaluation, r=jackh726bors-18/+1
2021-12-18Re-introduce concept of projection cache 'completion'Aaron Hill-1/+1
2021-12-17Remove 'speculative evaluation' of predicatesAaron Hill-18/+1
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-4/+4
2021-12-12Auto merge of #91549 - fee1-dead:const_env, r=spastorinobors-1/+1
2021-12-12Auto merge of #90423 - Aaron1011:deduplicate-projection, r=jackh726bors-0/+6
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-1/+1
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-1/+1
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-63/+50
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-4/+5
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-46/+58
2021-10-31Combine drain_filter callsAaron Hill-4/+4
2021-10-30Use SsoHashSetAaron Hill-2/+2
2021-10-30Deduplicate projection sub-obligationsAaron Hill-0/+6
2021-10-18Normalize obligations for closure confirmationjackh726-2/+14
2021-10-12Switch order of terms to prevent overflowjackh726-1/+1
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