>>411
5.3.5 Delete p3 より
"if the static type of the operand is different from its dynamic type, the
static type shall be a base class of the operand's dynamic type and the static type shall have a virtual
destructor or the behavior is undefined."