Function Checked 

pub fn Checked<T>(binop: T) -> (T, bool)

🔬This is a nightly-only experimental API. (custom_mir)

Available on non-crate feature ferrocene_certified only.