about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-47/+8
2024-06-01Increase vtable layout sizeMark Rousskov-53/+60
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-1/+1
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-7/+5
2024-05-30Don't drop Upcast candidate in intercrate modeMichael Goulet-0/+6
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-7/+5
2024-05-30Auto merge of #125711 - oli-obk:const_block_ice2, r=Nadrierilbors-17/+11
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-11/+65
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-5/+6
2024-05-29Refactor `#[diagnostic::do_not_recommend]` supportGeorg Semmler-8/+18
2024-05-29Add lang item for AsyncFnKindHelper::UpvarsMichael Goulet-16/+4
2024-05-29Add lang item for Future::OutputMichael Goulet-14/+2
2024-05-29Partially implement `ConstArgHasType`Boxy-11/+65
2024-05-29Make `body_owned_by` return the body directly.Oli Scherer-16/+10
2024-05-29Don't require `visit_body` to take a lifetime that must outlive the function ...Oli Scherer-1/+1
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-1/+1
2024-05-28Get rid of manual Trace callsMichael Goulet-4/+10
2024-05-27Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726Guillaume Gomez-1/+1
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-47/+37
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-0/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
2024-05-25Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errorsMatthias Krüger-3/+3
2024-05-25Rollup merge of #125510 - lcnr:change-proof-trees-to-be-shallow, r=compiler-e...Matthias Krüger-33/+2
2024-05-24remove proof tree formatter, make em shallowlcnr-33/+2
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-0/+1
2024-05-24Use regular type equating instead of a custom queryOli Scherer-21/+1
2024-05-23Support constraining opaque types while trait upcasting with bindersOli Scherer-1/+1
2024-05-23Allow defining opaque types during trait object upcasting.Oli Scherer-1/+1
2024-05-23When checking whether an impl applies, constrain hidden types of opaque types.Oli Scherer-1/+1
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-47/+37
2024-05-22Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obkLeón Orell Valerian Liehr-12/+3
2024-05-22Auto merge of #125335 - compiler-errors:binder, r=lcnrbors-3/+3
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-2/+1
2024-05-21Uplift binderMichael Goulet-1/+2
2024-05-21Okay actually check only alias TYPESMichael Goulet-9/+3
2024-05-21Move `#[do_not_recommend]` to the `#[diagnostic]` namespaceGeorg Semmler-1/+4
2024-05-19Auto merge of #125006 - spastorino:generics-is-empty, r=compiler-errorsbors-3/+3
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-3/+3
2024-05-19Actually use the `#[do_not_recommend]` attribute if presentGeorg Semmler-0/+26
2024-05-18Auto merge of #125257 - jieyouxu:rollup-11evnm9, r=jieyouxubors-1/+11
2024-05-18Rollup merge of #125214 - compiler-errors:gat-guide, r=lcnr许杰友 Jieyou Xu (Joe)-1/+11
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-7/+7
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-12/+3
2024-05-17Rename Unsafe to SafetySantiago Pastorino-7/+7
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-13/+13
2024-05-17Only make GAT ambiguous in match_projection_projections considering shallow r...Michael Goulet-1/+11
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-3/+3
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-5/+5
2024-05-16Make P parameter explicitMichael Goulet-9/+7
2024-05-16Rename ToPredicate for UpcastMichael Goulet-42/+42