pub(crate) fn check_args(args: &mut TopLevel) -> Result<(), Error>