diff options
| author | John Hodge <tpg@mutabah.net> | 2016-12-30 10:09:22 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-12-30 10:09:22 +0800 |
| commit | 9967a8e6b7a5723b18faec019d802b2520409cc8 (patch) | |
| tree | 4b3e3ba113c4bede60f9093a481cf25f941cedc7 /src | |
| parent | eaacd862ba4942334e15b8cea90b7efec49dd382 (diff) | |
| download | mrust-9967a8e6b7a5723b18faec019d802b2520409cc8.tar.gz | |
Trans Enumerate - EAT in enums
Diffstat (limited to 'src')
| -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); ), |