Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision 8dceeb78ad2ff73a75b2a0589e7539e4da01800f)
+++ src/GenPoly/Box.cc	(revision 1f37045134019dcc85ce9bbfe573c87275cfb714)
@@ -855,4 +855,13 @@
 			DeclarationWithType *adapteeDecl = adapterType->get_parameters().front();
 			adapteeDecl->set_name( "_adaptee" );
+			// do not carry over attributes to real type parameters/return values
+			for ( DeclarationWithType * dwt : realType->parameters ) {
+				deleteAll( dwt->get_type()->attributes );
+				dwt->get_type()->attributes.clear();
+			}
+			for ( DeclarationWithType * dwt : realType->returnVals ) {
+				deleteAll( dwt->get_type()->attributes );
+				dwt->get_type()->attributes.clear();
+			}
 			ApplicationExpr *adapteeApp = new ApplicationExpr( new CastExpr( new VariableExpr( adapteeDecl ), new PointerType( Type::Qualifiers(), realType ) ) );
 			Statement *bodyStmt;