Assert expression is Ok(_).
Pseudocode: a is Ok(_)
let a: Result<(), i8> = Ok(()); assert_ok!(a);
assert_ok
assert_ok_as_result
debug_assert_ok