diff options
| author | John Hodge <tpg@mutabah.net> | 2016-12-31 16:47:47 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-12-31 16:47:47 +0800 |
| commit | 92eee81d3a61190f588c9a9907829370e3869c8c (patch) | |
| tree | 835ab49991936486b7a86ba1d1f56127d285182b | |
| parent | 3e48e8d1257f6d3a55cd6b285a7ab193050039d7 (diff) | |
| download | mrust-92eee81d3a61190f588c9a9907829370e3869c8c.tar.gz | |
HIR Typecheck - Apply ivars in union literals
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index e5bb1d79..bd4af2ee 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -2972,6 +2972,10 @@ namespace { ::HIR::ExprVisitorDef::visit(node); } + void visit(::HIR::ExprNode_UnionLiteral& node) override { + this->check_type_resolved_pp(node.span(), node.m_path.m_params, ::HIR::TypeRef()); + ::HIR::ExprVisitorDef::visit(node); + } void visit(::HIR::ExprNode_TupleVariant& node) override { this->check_type_resolved_pp(node.span(), node.m_path.m_params, ::HIR::TypeRef()); for(auto& ty : node.m_arg_types) { |