summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2022-02-18Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakisMatthias Krüger-30/+28
2022-02-18Rollup merge of #93634 - matthiaskrgr:clippy_complexity_jan_2022, r=oli-obkMatthias Krüger-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-14/+16
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-1/+1
2022-02-14use an enum in matches_projection_projectionMichael Goulet-3/+4
2022-02-10only mark projection as ambiguous if GAT substs are constrainedMichael Goulet-30/+27
2022-02-07Change inference var check to be in project_typeJack Huey-0/+10
2022-02-03compiler: clippy::complexity fixesMatthias Krüger-1/+1
2022-02-01Auto merge of #93285 - JulianKnodt:const_eq_2, r=oli-obkbors-105/+105
2022-02-01Fix w/ commentskadmin-54/+27
2022-01-31Add ValuePairs::Terms & Fix compile errorkadmin-19/+20
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-28Remove generalization over projectionkadmin-309/+76
2022-01-27Continue work on assoc const eqkadmin-108/+367
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-2/+2
2022-01-17Update with final commentskadmin-1/+1
2022-01-17Add term to ExistentialProjectionkadmin-1/+1
2022-01-17Update term for use in more placeskadmin-5/+6
2022-01-17Use Term in ProjectionPredicatekadmin-6/+6
2022-01-15Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakisMatthias Krüger-4/+5
2022-01-10Rollup merge of #92248 - compiler-errors:normalize-type-for-pointee, r=jackh726Matthias Krüger-6/+32
2022-01-07Add query to avoid name comparison in `leaf_def`Matthew Jasper-14/+14
2021-12-24Normalize struct tail type when checking Pointee traitMichael Goulet-6/+32
2021-12-22When obligation is a sized predicate, prefer projection or object candidates ...Jack Huey-4/+5
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-11-06Improve terminology around "after typeck"pierwill-1/+1
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