Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision a6d70cd9cc78ffe8eb41df9c2337dc00e0e31f6e)
+++ src/GenPoly/Box.cc	(revision 8a0a64d9a29f461d2e53a950f0b7b400ab1cfeaa)
@@ -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;