From 47e0af99e08a8bbe56b662ffa531896c35292677 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Sun, 30 Oct 2016 12:32:25 +0800
Subject: HIR Typecheck - Shadow result of a deref

---
 src/hir_typeck/expr_cs.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index 19cfee35..0cb01dcd 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -2151,6 +2151,7 @@ namespace {
                 ),
             (Infer,
                 // Keep trying
+                this->context.equate_types_shadow(node.span(), node.m_res_type);
                 return ;
                 ),
             (Borrow,
-- 
cgit v1.2.3