{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":".map(|ty::OutlivesPredicate(r_a,"}]}
        .map(|ty::OutlivesPredicate(r_a, r_b)| OutlivesBound::RegionSubRegion(r_b, r_a))
        .filter_map(ty::Binder::no_bound_vars)
}