Fix dynamic_pointer_cast for managed_ptr #221
Description
The CPU pointer is cast using dynamic_cast, but the GPU pointer is cast using a static_cast. The latter needs to be changed to a dynamic_cast.
{{ message }}
The CPU pointer is cast using dynamic_cast, but the GPU pointer is cast using a static_cast. The latter needs to be changed to a dynamic_cast.