diff options
Diffstat (limited to 'src/trans/enumerate.cpp')
| -rw-r--r-- | src/trans/enumerate.cpp | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/trans/enumerate.cpp b/src/trans/enumerate.cpp index 7462a2d9..37d7ab98 100644 --- a/src/trans/enumerate.cpp +++ b/src/trans/enumerate.cpp @@ -163,7 +163,7 @@ namespace { auto monomorph = [&](const auto& x)->const auto& { if( monomorphise_type_needed(x) ) { tmp = monomorphise_type(sp, item.m_params, path.m_params, x); - //m_resolve.expand_associated_types(sp, tmp); + m_resolve.expand_associated_types(sp, tmp); return tmp; } else { @@ -219,8 +219,12 @@ namespace { // Recursion! (Path, TU_MATCHA( (te.binding), (tpb), - (Unbound, ), - (Opaque, ), + (Unbound, + BUG(Span(), "Unbound type hit in enumeration - " << ty); + ), + (Opaque, + BUG(Span(), "Opaque type hit in enumeration - " << ty); + ), (Struct, visit_struct(te.path.m_data.as_Generic(), *tpb); ), |