checked_cast is currently defined in globalDefinitions.hpp. However, the very small and simple definition provided there is significantly deficient, and needs to be improved (JDK-8314258). Correcting it is going to require a non-trivial amount of code, significantly cluttering globalDefinitions.hpp. The corrected definition should be placed in its own file.