types2: add test case for polymorphic array