{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"self.convert(predicate,"}]}
            self.convert(predicate, constraint_category, &assumptions);
        for &(predicate, constraint_category) in outlives {
        }