summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2022-08-30Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-4/+14
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-6/+6
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-4/+1
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-2/+6
2022-08-01fmt...Ellen-4/+1
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-07-14eagerly check for bound vars of predicateslcnr-0/+4
2022-07-14remove `ct.has_vars_bound_at_or_above` callslcnr-2/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+2
2022-06-27Remove a back-compat hack on lazy TAITYuki Okushi-17/+4
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