Changeset f48dfcd

Timestamp:

Nov 24, 2023, 4:08:24 PM (6 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

6a1f553

Parents:

3c4003b9

Message:

Slight improvement to forall clause erasing.

File:

• src/GenPoly/BoxNew.cpp (modified) (3 diffs)

src/GenPoly/BoxNew.cpp

@@ -16 +16 @@
 #include "Box.h"
 
-#include "AST/Chain.hpp"               // for chain_mutate
 #include "AST/Decl.hpp"                // for Decl, FunctionDecl, ...
 #include "AST/Expr.hpp"                // for AlignofExpr, ConstantExpr, ...
@@ -1436 +1435 @@
         ast::FunctionType * type = new ast::FunctionType(
                 mutDecl->type->isVarArgs, mutDecl->type->qualifiers );
+        // The forall clauses don't match until Eraser. The assertions are empty.
         for ( auto param : mutDecl->params ) {
                 type->params.emplace_back( param->get_type() );
@@ -2213 +2213 @@
         auto mutDecl = mutate( decl );
         mutDecl->type_params.clear();
-        ast::chain_mutate( mutDecl->type )->forall.clear();
         return mutDecl;
 }