{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"trait_ref:"}]}
            trait_ref: trait_ref.stable(tables, cx),
        crate::ty::TraitPredicate {
            polarity: polarity.stable(tables, cx),