summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2022-12-11revert-overflowouz-a-15/+0
2022-11-20Revert "Normalize opaques with escaping bound vars"Michael Goulet-1/+1
2022-10-21fix some typosRageking8-1/+1
2022-10-15Fix subst issues with RPITITMichael Goulet-1/+4
2022-10-14more dupe word typosRageking8-1/+1
2022-10-12Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakisbors-3/+45
2022-10-10Fix compiler docsGuillaume Gomez-2/+3
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-4/+2
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-4/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-5/+5
2022-10-07Introduce TypeErrCtxtCameron Steffen-3/+3
2022-10-05Validate opaques in default trait bodies, don't normalize unless a body is pr...Michael Goulet-1/+2
2022-10-05Fix test for default body with implMichael Goulet-2/+3
2022-10-05Support default-body trait functions with RPITITMichael Goulet-3/+43
2022-10-04Rollup merge of #102651 - oli-obk:non_region_things, r=lcnrMatthias Krüger-1/+1
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-09-29Check generic argument compatibility when projecting assoc tyMichael Goulet-2/+40
2022-09-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-1/+1
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-1/+1
2022-09-22Normalize opaques with escaping bound varsMichael Goulet-1/+1
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
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