typeid can be applied to polymorphic type as per N3242 5.2.8/2.SeizeF (talk) 17:11, 22 November 2013 (PST)