{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.register_region_outlives(a,"}]}
        self.register_region_outlives(a, b);
        let ty::OutlivesPredicate(a, b) = goal.predicate;
        self.evaluate_added_goals_and_make_canonical_response(Certainty::Yes)