summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJohn Hodge <tpg@ucc.asn.au>2019-01-04 22:03:10 +0800
committerJohn Hodge <tpg@ucc.asn.au>2019-01-04 22:03:10 +0800
commitfe650f59cddee21a86b1697c6db6b6e1ab89ecaf (patch)
tree915e3d4fd7d57082f0a836c9dd9aedfde5d041aa /src
parent777bdf9a8bfcd6a5b1b4c38c6a57f582fc9d5d18 (diff)
downloadmrust-fe650f59cddee21a86b1697c6db6b6e1ab89ecaf.tar.gz
Resolve - Resolve impl type before handling bounds
Diffstat (limited to 'src')
-rw-r--r--src/resolve/absolute.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/resolve/absolute.cpp b/src/resolve/absolute.cpp
index 557eebe8..7fa08aaf 100644
--- a/src/resolve/absolute.cpp
+++ b/src/resolve/absolute.cpp
@@ -2184,13 +2184,14 @@ void Resolve_Absolute_Mod( Context item_context, ::AST::Module& mod )
{
item_context.push_self( def.type() );
item_context.push(def.params(), GenericSlot::Level::Top);
- Resolve_Absolute_Generic(item_context, def.params());
Resolve_Absolute_Type(item_context, def.type());
if( def.trait().ent.is_valid() ) {
Resolve_Absolute_Path(item_context, def.trait().sp, Context::LookupMode::Type, def.trait().ent);
}
+ Resolve_Absolute_Generic(item_context, def.params());
+
Resolve_Absolute_ImplItems(item_context, e.items());
item_context.pop(def.params());