{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"(GenericArg::Type(_),"}]}
                (GenericArg::Type(_), GenericParamDataRef::TypeParamData(type_param))
            (Some(&(arg_idx, arg)), Some(&(param_id, param))) => match (arg, param) {
                    if type_param.provenance == TypeParamProvenance::ArgumentImplTrait =>