Replace 'Self' at resolve-time, with special case for bounds

1 files changed, 1 insertions, 2 deletions

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 9aa02fe1..63e33ba6 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -66,11 +66,10 @@ bool ImplDef::matches(::std::vector<TypeRef>& out_types, const Path& trait, cons
     int trait_match = m_trait.equal_no_generic(trait);

     if( trait_match < 0 )

         return false;

-    DEBUG("Trait " << trait << " matches " << trait_match);

     int type_match = m_type.equal_no_generic(type);

     if( type_match < 0 )

         return false;

-    DEBUG("Type " << type << " matches " << type_match);

+    DEBUG("Match Tr:" <<trait_match << ", Ty:" << type_match << " for Trait " << trait << ", Type " << type);

     

     // 2. If a parameter was seen, do the more expensive generic checks

     //  > Involves checking that parameters are valid