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/src/lib.rs | |
| parent | f57e2f55984758a83644b852a4cc47e0b27945df (diff) | |
Rename some fields to their Chalk names
Diffstat (limited to 'crates/hir/src/lib.rs')
| -rw-r--r-- | crates/hir/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs index 10b8171be..5e7226df2 100644 --- a/crates/hir/src/lib.rs +++ b/crates/hir/src/lib.rs | |||
| @@ -1686,8 +1686,8 @@ impl Type { | |||
| 1686 | .build(); | 1686 | .build(); |
| 1687 | let predicate = ProjectionPredicate { | 1687 | let predicate = ProjectionPredicate { |
| 1688 | projection_ty: ProjectionTy { | 1688 | projection_ty: ProjectionTy { |
| 1689 | associated_ty: to_assoc_type_id(alias.id), | 1689 | associated_ty_id: to_assoc_type_id(alias.id), |
| 1690 | parameters: subst, | 1690 | substitution: subst, |
| 1691 | }, | 1691 | }, |
| 1692 | ty: TyKind::BoundVar(BoundVar::new(DebruijnIndex::INNERMOST, 0)).intern(&Interner), | 1692 | ty: TyKind::BoundVar(BoundVar::new(DebruijnIndex::INNERMOST, 0)).intern(&Interner), |
| 1693 | }; | 1693 | }; |