summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2022-09-13Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errorsbors-2/+0
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-2/+4
2022-09-09Handle generic parameters.Camille GILLOT-1/+1
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-7/+6
2022-09-09Address nitsMichael Goulet-3/+3
2022-09-09Implement projection for ImplTraitPlaceholderMichael Goulet-0/+117
2022-09-09Lower RPITIT to ImplTraitPlaceholder itemMichael Goulet-0/+5
2022-09-08don't evaluate with escaping bound varslcnr-4/+44
2022-09-08stop evaluating constants in `Relate`lcnr-1/+1
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-1/+1
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-4/+4
2022-08-30Stabilize GATsJack Huey-2/+0
2022-08-26Don't catch overflow when running with cargo docouz-a-1/+4
2022-08-19Catch overflow earlyouz-a-0/+12
2022-08-18Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-4/+14
2022-08-09don't normalize wf predicateslcnr-0/+9
2022-08-07Built-in implementation of Tuple traitMichael Goulet-2/+4
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-28Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk"Oli Scherer-4/+14
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