downcast
Downcasts FromType to ToType - for types where conversion may fail.
If done for wrong types would cause a compiler panic at the Sierra stage.
Fully qualified path: core::internal::bounded_int::downcast
pub extern fn downcast(x: FromType) -> Option<ToType> implicits(RangeCheck) nopanic;