Function check_args_empty 

fn check_args_empty(
    sess: &Session,
    args: &TokenTree,
) -> Result<(), ErrorGuaranteed>