This reverts commit 80ed442be2.
This logic was replaced in previous commit by dynamic cast.
Hopefully even this cast will be eliminated in the future.
This reverts commit 80ed442be2.
This logic was replaced in previous commit by dynamic cast.
Hopefully even this cast will be eliminated in the future.