Function vstd::prelude::call_ensures

pub fn call_ensures<Args, F>(
    _f: F,
    _args: Args,
    _output: <F as FnOnce<Args>>::Output
) -> bool
where
    Args: Tuple,
    F: FnOnce<Args>,