Downcasts FromType to ToType - for types where conversion may fail. If done for wrong types would cause a compiler panic at the Sierra stage.

Signature

pub extern fn downcast(x: FromType) -> Option implicits(RangeCheck) nopanic;