Function args_get 

pub fn args_get<'tcx>(
    args: &Binder<'tcx, &'tcx GenericArgs<'tcx>>,
    index: usize,
) -> Option<GenericArg<'tcx>>