Index: src/GenPoly/Specialize.cpp
===================================================================
--- src/GenPoly/Specialize.cpp	(revision d3cf623098e72d98fd3ea76544061496946dbba4)
+++ src/GenPoly/Specialize.cpp	(revision 0cd168feb19ad0f03ac91f3787a06e392f60a55e)
@@ -300,5 +300,7 @@
 		} ),
 		map_range<DWTVector>( newType->params, [&location, &paramNamer]( const ast::Type * type ) {
-			return new ast::ObjectDecl( location, paramNamer.newName(), ast::deepCopy( type ) );
+			auto param = new ast::ObjectDecl( location, paramNamer.newName(), ast::deepCopy( type ) );
+			param->attributes.push_back( new ast::Attribute( "unused" ) );
+			return param;
 		} ),
 		map_range<DWTVector>( newType->returns, [&location, &paramNamer]( const ast::Type * type ) {
Index: src/InitTweak/FixInit.cpp
===================================================================
--- src/InitTweak/FixInit.cpp	(revision d3cf623098e72d98fd3ea76544061496946dbba4)
+++ src/InitTweak/FixInit.cpp	(revision 0cd168feb19ad0f03ac91f3787a06e392f60a55e)
@@ -70,4 +70,5 @@
 		ast::Linkage::Cforall
 	);
+	dstParam->attributes.push_back( new ast::Attribute( "unused" ) );
 	return new ast::FunctionDecl( loc,
 		fname,