diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/hir_typeck/expr_check.cpp | 2 | ||||
| -rw-r--r-- | 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 |