Function call_opens_invariants 

pub fn call_opens_invariants<Args, F, I>(_f: F, _args: Args) -> I
where
    Args: Tuple,
    F: FnOnce<Args>,