summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-2/+2
2022-03-31Rollup merge of #94869 - jackh726:gats_extended, r=compiler-errorsDylan DPC-20/+56
2022-03-30Add the generic_associated_types_extended featureJack Huey-20/+56
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
2022-03-28Also use the RPIT back compat hack in trait projectionOli Scherer-4/+15
2022-03-25Fix ice when error reporting recursion errorslightning1141-1/+4
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-2/+2
2022-03-16rustc_error: make ErrorReported impossible to constructmark-1/+1
2022-03-14Rollup merge of #93977 - compiler-errors:sized-generic-metadata, r=wesleywiserMatthias Krüger-5/+30
2022-03-07Try to normalize associated types before processing obligationsJack Huey-10/+80
2022-03-03opaque types may also be sizedMichael Goulet-4/+12
2022-03-03type parameters have unit metadata if they are sizedMichael Goulet-5/+22
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-3/+3
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-3/+2
2022-02-19rustc_trait_selection: adopt let else in more placesest31-3/+2
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