Index: src/InitTweak/GenInit.cc
===================================================================
--- src/InitTweak/GenInit.cc	(revision b7260842d3d46862cb3406f96e73c6e605589177)
+++ src/InitTweak/GenInit.cc	(revision 8f9cc50b091ccf00d76ddcc332e7e31fe53bfaac)
@@ -246,5 +246,6 @@
 			}
 		}
-		return managedTypes.find( SymTab::Mangler::mangle( type ) ) != managedTypes.end();
+		// a type is managed if it appears in the map of known managed types, or if it contains any polymorphism (is a type variable or generic type containing a type variable)
+		return managedTypes.find( SymTab::Mangler::mangle( type ) ) != managedTypes.end() || GenPoly::isPolyType( type );
 	}