From 44fec397409530d6bc61e9fe9fbccd08d19d2c26 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Tue, 22 Nov 2016 09:59:12 +0800 Subject: HIR Typecheck - Function to *const u8 --- src/hir_typeck/expr_check.cpp | 2 +- src/mir/from_hir.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/hir_typeck/expr_check.cpp b/src/hir_typeck/expr_check.cpp index f79f41c6..2d601b54 100644 --- a/src/hir_typeck/expr_check.cpp +++ b/src/hir_typeck/expr_check.cpp @@ -294,7 +294,7 @@ namespace { //} ), (Function, - if( *de.inner != ::HIR::TypeRef::new_unit() ) { + if( *de.inner != ::HIR::TypeRef::new_unit() && *de.inner != ::HIR::CoreType::U8 ) { ERROR(sp, E0000, "Invalid cast to " << dst_ty << " from " << src_ty); } ), diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp index bccbdb13..7761ab12 100644 --- a/src/mir/from_hir.cpp +++ b/src/mir/from_hir.cpp @@ -946,7 +946,7 @@ namespace { // Valid ) else TU_IFLET( ::HIR::TypeRef::Data, ty_in.m_data, Function, se, - if( *de.inner != ::HIR::TypeRef::new_unit() ) { + if( *de.inner != ::HIR::TypeRef::new_unit() && *de.inner != ::HIR::CoreType::U8 ) { BUG(node.span(), "Cannot cast to " << ty_out << " from " << ty_in); } // Valid -- cgit v1.2.3