let innocent_var = operation_that_panics_but_returns_something_random_instead();

    unsafe {
        do_something_assuming_validity(innocent_var);
    }