{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"non_enumerable:"}]}
        non_enumerable: true,
        upstream: trait_.lookup(db).container.krate() != krate,
        coinductive: false, // only relevant for Chalk testing