summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-0/+2
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-0/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-6/+6
2022-06-10bound_vars -> infer: don't return lt maplcnr-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-7/+6
2022-06-03Replace `&Vec<_>`s with `&[_]`sMaybe Waffle-2/+2
2022-05-31Fix comment in poly_project_and_unify_typeMichael Goulet-14/+14
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-4/+2
2022-05-13Add bound_type_ofJack Huey-2/+2
2022-05-10Introduce EarlyBinderJack Huey-5/+7
2022-05-02fix most compiler/ doctestsElliot Roberts-7/+7
2022-04-26add hacky closure to struct_tail_with_normalize in order to allow us to walk ...b-naber-12/+16
2022-04-14Auto merge of #95315 - compiler-errors:pointee-fix, r=pnkfelixbors-1/+11
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-25when checking pointee metadata, canonicalize the Sized queryMichael Goulet-1/+11
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