Drive by: handle references in `same_type_modulo_infer`

2021-12-15 23:25:03 +00:00 · 2021-12-15 23:25:03 +00:00 · b09420f95a
parent 1c85987274
commit b09420f95a
1 changed files with 3 additions and 0 deletions
--- a/compiler/rustc_infer/src/infer/error_reporting/mod.rs
+++ b/compiler/rustc_infer/src/infer/error_reporting/mod.rs
@ -333,6 +333,9 @@ pub fn same_type_modulo_infer<'tcx>(a: Ty<'tcx>, b: Ty<'tcx>) -> bool {
        )
        | (&ty::Infer(ty::InferTy::TyVar(_)), _)
        | (_, &ty::Infer(ty::InferTy::TyVar(_))) => true,
+        (&ty::Ref(reg_a, ty_a, mut_a), &ty::Ref(reg_b, ty_b, mut_b)) => {
+            reg_a == reg_b && mut_a == mut_b && same_type_modulo_infer(ty_a, ty_b)
+        }
        _ => a == b,
    }
 }