diff options
Diffstat (limited to 'crates/hir_ty/src/infer.rs')
-rw-r--r-- | crates/hir_ty/src/infer.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/infer.rs b/crates/hir_ty/src/infer.rs index 674e9e6f9..b871594bd 100644 --- a/crates/hir_ty/src/infer.rs +++ b/crates/hir_ty/src/infer.rs | |||
@@ -325,7 +325,7 @@ impl<'a> InferenceContext<'a> { | |||
325 | 325 | ||
326 | /// Replaces Ty::Unknown by a new type var, so we can maybe still infer it. | 326 | /// Replaces Ty::Unknown by a new type var, so we can maybe still infer it. |
327 | fn insert_type_vars_shallow(&mut self, ty: Ty) -> Ty { | 327 | fn insert_type_vars_shallow(&mut self, ty: Ty) -> Ty { |
328 | match ty.interned(&Interner) { | 328 | match ty.kind(&Interner) { |
329 | TyKind::Unknown => self.table.new_type_var(), | 329 | TyKind::Unknown => self.table.new_type_var(), |
330 | _ => ty, | 330 | _ => ty, |
331 | } | 331 | } |
@@ -438,7 +438,7 @@ impl<'a> InferenceContext<'a> { | |||
438 | /// to do it as well. | 438 | /// to do it as well. |
439 | fn normalize_associated_types_in(&mut self, ty: Ty) -> Ty { | 439 | fn normalize_associated_types_in(&mut self, ty: Ty) -> Ty { |
440 | let ty = self.resolve_ty_as_possible(ty); | 440 | let ty = self.resolve_ty_as_possible(ty); |
441 | ty.fold(&mut |ty| match ty.interned(&Interner) { | 441 | ty.fold(&mut |ty| match ty.kind(&Interner) { |
442 | TyKind::Alias(AliasTy::Projection(proj_ty)) => { | 442 | TyKind::Alias(AliasTy::Projection(proj_ty)) => { |
443 | self.normalize_projection_ty(proj_ty.clone()) | 443 | self.normalize_projection_ty(proj_ty.clone()) |
444 | } | 444 | } |