Attribute Macro assume_ok

Source
#[assume_ok]