Added polymorphic test for #622; somewhat surprisingly it passes right away...