summaryrefslogtreecommitdiff
path: root/src/hir_typeck/expr_check.cpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2018-12-22 12:40:44 +0800
committerJohn Hodge <tpg@mutabah.net>2018-12-22 12:40:44 +0800
commit53e6ea256d88e5a0e457a294c3d85b1cbaea0386 (patch)
treef2d79247643d910dcc3bda3e176f99ac5a9119b0 /src/hir_typeck/expr_check.cpp
parentf4c39e95caf3c9a8ccd302dbd9eca92b32564c27 (diff)
downloadmrust-53e6ea256d88e5a0e457a294c3d85b1cbaea0386.tar.gz
MIR Cleanup - Better error reporting for bugs around unevaluated Literal::Defer
Diffstat (limited to 'src/hir_typeck/expr_check.cpp')
-rw-r--r--src/hir_typeck/expr_check.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_check.cpp b/src/hir_typeck/expr_check.cpp
index 6d2feaba..2d63d045 100644
--- a/src/hir_typeck/expr_check.cpp
+++ b/src/hir_typeck/expr_check.cpp
@@ -1166,6 +1166,7 @@ namespace {
ExprVisitor_Validate ev(m_resolve, tmp, item.m_type);
ev.visit_root(item.m_value);
}
+ m_resolve.expand_associated_types(Span(), item.m_type);
}
void visit_enum(::HIR::ItemPath p, ::HIR::Enum& item) override {
//auto _ = this->m_ms.set_item_generics(item.m_params);