diff options
author | Florian Diebold <[email protected]> | 2021-03-14 15:26:12 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-03-14 15:30:43 +0000 |
commit | 3411fe3e84e641aad03abbc22eec33fdc29b15f8 (patch) | |
tree | f9590b609da68c1d466381b8de809f60511dd628 /crates/hir_ty/src/lower.rs | |
parent | f57e2f55984758a83644b852a4cc47e0b27945df (diff) |
Rename some fields to their Chalk names
Diffstat (limited to 'crates/hir_ty/src/lower.rs')
-rw-r--r-- | crates/hir_ty/src/lower.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/crates/hir_ty/src/lower.rs b/crates/hir_ty/src/lower.rs index c32dca9d7..17eb29911 100644 --- a/crates/hir_ty/src/lower.rs +++ b/crates/hir_ty/src/lower.rs | |||
@@ -357,8 +357,8 @@ impl<'a> TyLoweringContext<'a> { | |||
357 | Some((super_trait_ref, associated_ty)) => { | 357 | Some((super_trait_ref, associated_ty)) => { |
358 | // FIXME handle type parameters on the segment | 358 | // FIXME handle type parameters on the segment |
359 | TyKind::Alias(AliasTy::Projection(ProjectionTy { | 359 | TyKind::Alias(AliasTy::Projection(ProjectionTy { |
360 | associated_ty: to_assoc_type_id(associated_ty), | 360 | associated_ty_id: to_assoc_type_id(associated_ty), |
361 | parameters: super_trait_ref.substs, | 361 | substitution: super_trait_ref.substs, |
362 | })) | 362 | })) |
363 | .intern(&Interner) | 363 | .intern(&Interner) |
364 | } | 364 | } |
@@ -478,8 +478,8 @@ impl<'a> TyLoweringContext<'a> { | |||
478 | // FIXME handle type parameters on the segment | 478 | // FIXME handle type parameters on the segment |
479 | return Some( | 479 | return Some( |
480 | TyKind::Alias(AliasTy::Projection(ProjectionTy { | 480 | TyKind::Alias(AliasTy::Projection(ProjectionTy { |
481 | associated_ty: to_assoc_type_id(associated_ty), | 481 | associated_ty_id: to_assoc_type_id(associated_ty), |
482 | parameters: substs, | 482 | substitution: substs, |
483 | })) | 483 | })) |
484 | .intern(&Interner), | 484 | .intern(&Interner), |
485 | ); | 485 | ); |
@@ -736,8 +736,8 @@ impl<'a> TyLoweringContext<'a> { | |||
736 | Some(t) => t, | 736 | Some(t) => t, |
737 | }; | 737 | }; |
738 | let projection_ty = ProjectionTy { | 738 | let projection_ty = ProjectionTy { |
739 | associated_ty: to_assoc_type_id(associated_ty), | 739 | associated_ty_id: to_assoc_type_id(associated_ty), |
740 | parameters: super_trait_ref.substs, | 740 | substitution: super_trait_ref.substs, |
741 | }; | 741 | }; |
742 | let mut preds = SmallVec::with_capacity( | 742 | let mut preds = SmallVec::with_capacity( |
743 | binding.type_ref.as_ref().map_or(0, |_| 1) + binding.bounds.len(), | 743 | binding.type_ref.as_ref().map_or(0, |_| 1) + binding.bounds.len(), |