Index: src/GenPoly/BoxNew.cpp
===================================================================
--- src/GenPoly/BoxNew.cpp	(revision 3c4003b97c9ee9f1f9a353616422f55ea0456227)
+++ src/GenPoly/BoxNew.cpp	(revision f48dfcd1acf87e4d711e108cd7119bb80ee701ee)
@@ -16,5 +16,4 @@
 #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,4 +1435,5 @@
 	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,5 +2213,4 @@
 	auto mutDecl = mutate( decl );
 	mutDecl->type_params.clear();
-	ast::chain_mutate( mutDecl->type )->forall.clear();
 	return mutDecl;
 }