{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"projection_term:"}]}
            projection_term: projection_term.stable(tables, cx),
        crate::ty::ProjectionPredicate {
            term: term.kind().stable(tables, cx),