Function main_args 

pub(crate) fn main_args(early_dcx: &mut EarlyDiagCtxt, at_args: &[String])