4.3.2.2p2 says that an entity declared with TYPE(*) is unlimited polymorphic. C837, on SELECT TYPE says the <selector> shall be polymorphic. What happens if the <selector> was declared with TYPE(*)?