Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision 974906e251002ce59f471dfb4e67195b82506d1c)
+++ src/GenPoly/Box.cc	(revision a56767c553787fe4920170c20ffd7e869a093d76)
@@ -412,7 +412,5 @@
 		void Pass1::boxParam( Type *param, Expression *&arg, const TyVarMap &exprTyVars ) {
 			assert( ! arg->get_results().empty() );
-//   if ( ! dynamic_cast< PointerType *>( arg->get_results().front() ) ) {
-			TypeInstType *typeInst = dynamic_cast< TypeInstType *>( param );
-			if ( typeInst && exprTyVars.find( typeInst->get_name() ) != exprTyVars.end() ) {
+			if ( isPolyType( param, exprTyVars ) ) {
 				if ( dynamic_cast< TypeInstType *>( arg->get_results().front() ) ) {
 					// if the argument's type is a type parameter, we don't need to box again!
@@ -432,5 +430,4 @@
 				} // if
 			} // if
-//   }
 		}