{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"infcx.sub_regions("}]}
        infcx.sub_regions(
    test_region_obligations(tcx, id, param_env, wf_tys, |infcx| {
            SubregionOrigin::RelateRegionParamBound(DUMMY_SP, None),