From def3719f94f1bed17b6018975b9919c46ca43f16 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Thu, 1 Sep 2016 11:29:22 +0800 Subject: Expand - Support box operator (untested) --- src/hir/from_ast.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/hir/from_ast.cpp') diff --git a/src/hir/from_ast.cpp b/src/hir/from_ast.cpp index 359d6ed9..930c549f 100644 --- a/src/hir/from_ast.cpp +++ b/src/hir/from_ast.cpp @@ -200,6 +200,7 @@ BUG(pat.span(), "Encountered StructTuple pattern not pointing to a enum variant or a struct - " << e.path); ), (EnumVar, + assert( pb.enum_ ); const auto& var = pb.enum_->variants()[pb.idx].m_data; unsigned int field_count = var.as_Tuple().m_sub_types.size(); ::std::vector sub_patterns; @@ -239,6 +240,7 @@ }; ), (Struct, + assert( pb.struct_ ); unsigned int field_count = pb.struct_->m_data.as_Tuple().ents.size(); ::std::vector sub_patterns; @@ -674,7 +676,11 @@ ::HIR::TypeRef::Data::Data_TraitObject v; for(const auto& t : e.traits) { - if( t.binding().as_Trait().trait_->is_marker() ) { + const auto& tb = t.binding().as_Trait(); + if( tb.trait_ && tb.trait_->is_marker() ) { + v.m_markers.push_back( LowerHIR_GenericPath(ty.span(), t) ); + } + else if( tb.hir && tb.hir->m_is_marker ) { v.m_markers.push_back( LowerHIR_GenericPath(ty.span(), t) ); } else { -- cgit v1.2.3