Changes in src/GenPoly/GenPoly.cc [63d1ebe:75f6a5f]

File:

• src/GenPoly/GenPoly.cc (modified) (2 diffs)

src/GenPoly/GenPoly.cc

@@ -120 +120 @@
         const ast::Type * replaceTypeInst(const ast::Type * type, const ast::TypeSubstitution * env) {
                 if (!env) return type;
-                if (auto typeInst = dynamic_cast<const ast::TypeInstType*> (type)) {
+                if ( auto typeInst = dynamic_cast<const ast::TypeInstType*>(type) ) {
                         auto newType = env->lookup(typeInst);
                         if (newType) return newType;
@@ -229 +229 @@
                 auto var = typeVars.find( *inst );
                 if ( var != typeVars.end() && var->second.isComplete ) {
-
+                        return inst;
                 }
         } else if ( auto inst = dynamic_cast<ast::StructInstType const *>( type ) ) {