fix synopsis for polymorphic_pointer_cast