Function args_infer_vars 

fn args_infer_vars<'tcx>(
    selcx: &SelectionContext<'_, 'tcx>,
    args: Binder<'tcx, GenericArgsRef<'tcx>>,
) -> impl Iterator<Item = TyOrConstInferVar>

Returns the set of inference variables contained in args.