Changes in src/Validate/ForallPointerDecay.cpp [b230091:4f6dda0]

File:

• src/Validate/ForallPointerDecay.cpp (modified) (1 diff)

src/Validate/ForallPointerDecay.cpp

@@ -41 +41 @@
         for ( auto & type_param : decl->type_params ) {
                 type->forall.emplace_back(
-                        new ast::TypeInstType( type_param ) );
+                        new ast::TypeInstType( type_param->name, type_param ) );
         }
         for ( auto & assertion : decl->assertions ) {