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/autoderef.rs | |
| parent | f57e2f55984758a83644b852a4cc47e0b27945df (diff) | |
Rename some fields to their Chalk names
Diffstat (limited to 'crates/hir_ty/src/autoderef.rs')
| -rw-r--r-- | crates/hir_ty/src/autoderef.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/autoderef.rs b/crates/hir_ty/src/autoderef.rs index d739d5d60..d5c2b9a20 100644 --- a/crates/hir_ty/src/autoderef.rs +++ b/crates/hir_ty/src/autoderef.rs | |||
| @@ -84,7 +84,7 @@ fn deref_by_trait( | |||
| 84 | let projection = super::traits::ProjectionPredicate { | 84 | let projection = super::traits::ProjectionPredicate { |
| 85 | ty: TyKind::BoundVar(BoundVar::new(DebruijnIndex::INNERMOST, ty.value.kinds.len())) | 85 | ty: TyKind::BoundVar(BoundVar::new(DebruijnIndex::INNERMOST, ty.value.kinds.len())) |
| 86 | .intern(&Interner), | 86 | .intern(&Interner), |
| 87 | projection_ty: super::ProjectionTy { associated_ty: to_assoc_type_id(target), parameters }, | 87 | projection_ty: super::ProjectionTy { associated_ty_id: to_assoc_type_id(target), substitution: parameters }, |
| 88 | }; | 88 | }; |
| 89 | 89 | ||
| 90 | let obligation = super::Obligation::Projection(projection); | 90 | let obligation = super::Obligation::Projection(projection); |