From 4492443559b1795aa1d0c3fc1887f72fc78af468 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sat, 6 Aug 2016 11:16:42 +0800 Subject: HIR Typecheck CS - Add cast when &T used for *const T --- src/hir_typeck/expr_cs.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index af50c6d9..b73d926b 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -3243,6 +3243,12 @@ namespace { // Pointers coerce from borrows and similar pointers TU_IFLET(::HIR::TypeRef::Data, ty_src.m_data, Borrow, r_e, context.equate_types(sp, *l_e.inner, *r_e.inner); + // Add cast + auto span = node_ptr->span(); + node_ptr = ::HIR::ExprNodeP(new ::HIR::ExprNode_Cast( mv$(span), mv$(node_ptr), ty_dst.clone() )); + node_ptr->m_res_type = ty_dst.clone(); + + context.m_ivars.mark_change(); return true; ) else TU_IFLET(::HIR::TypeRef::Data, ty_src.m_data, Pointer, r_e, -- cgit v1.2.3