{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"test_region_obligations(tcx,"}]}
    test_region_obligations(tcx, id, param_env, wf_tys, |infcx| {
) -> bool {
        infcx.sub_regions(