diff options
Diffstat (limited to 'crates/hir_ty/src/infer')
| -rw-r--r-- | crates/hir_ty/src/infer/coerce.rs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/crates/hir_ty/src/infer/coerce.rs b/crates/hir_ty/src/infer/coerce.rs index fd679f444..26dc6ceba 100644 --- a/crates/hir_ty/src/infer/coerce.rs +++ b/crates/hir_ty/src/infer/coerce.rs | |||
| @@ -71,12 +71,14 @@ impl<'a> InferenceContext<'a> { | |||
| 71 | } | 71 | } |
| 72 | 72 | ||
| 73 | // Pointer weakening and function to pointer | 73 | // Pointer weakening and function to pointer |
| 74 | match (from_ty.interned_mut(), to_ty.kind(&Interner)) { | 74 | match (from_ty.kind(&Interner), to_ty.kind(&Interner)) { |
| 75 | // `*mut T` -> `*const T` | 75 | // `*mut T` -> `*const T` |
| 76 | (TyKind::Raw(m1, inner), TyKind::Raw(m2 @ Mutability::Not, ..)) => { | ||
| 77 | from_ty = TyKind::Raw(*m2, inner.clone()).intern(&Interner); | ||
| 78 | } | ||
| 76 | // `&mut T` -> `&T` | 79 | // `&mut T` -> `&T` |
| 77 | (TyKind::Raw(m1, ..), TyKind::Raw(m2 @ Mutability::Not, ..)) | 80 | (TyKind::Ref(m1, lt, inner), TyKind::Ref(m2 @ Mutability::Not, ..)) => { |
| 78 | | (TyKind::Ref(m1, ..), TyKind::Ref(m2 @ Mutability::Not, ..)) => { | 81 | from_ty = TyKind::Ref(*m2, lt.clone(), inner.clone()).intern(&Interner); |
| 79 | *m1 = *m2; | ||
| 80 | } | 82 | } |
| 81 | // `&T` -> `*const T` | 83 | // `&T` -> `*const T` |
| 82 | // `&mut T` -> `*mut T`/`*const T` | 84 | // `&mut T` -> `*mut T`/`*const T` |