diff options
| author | John Hodge <tpg@mutabah.net> | 2016-06-11 11:10:01 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-06-11 11:10:01 +0800 |
| commit | a09442783f4e0bae92d90803b333e420d2636d36 (patch) | |
| tree | 951574f18f0fbcc8f906eb8b96e1b278d8669d2d /src/resolve/absolute.cpp | |
| parent | f7f3d24fcf16f34f31d35b7e571725dff5e4c42a (diff) | |
| download | mrust-a09442783f4e0bae92d90803b333e420d2636d36.tar.gz | |
HIR - Trait objects only have on data trait, fix propagation of marker flag
Diffstat (limited to 'src/resolve/absolute.cpp')
| -rw-r--r-- | src/resolve/absolute.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/resolve/absolute.cpp b/src/resolve/absolute.cpp index 4bb3c51d..84a6b191 100644 --- a/src/resolve/absolute.cpp +++ b/src/resolve/absolute.cpp @@ -1370,8 +1370,10 @@ void Resolve_Absolute_Mod( Context item_context, ::AST::Module& mod ) for(auto& impl : mod.impls()) { auto& def = impl.def(); - if( ! def.type().is_valid() ) + DEBUG("impl " << def.trait().ent << " for " << def.type()); + if( !def.type().is_valid() ) { + DEBUG("---- MARKER IMPL for " << def.trait().ent); item_context.push(def.params(), GenericSlot::Level::Top); Resolve_Absolute_Generic(item_context, def.params()); assert( def.trait().ent.is_valid() ); |