{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"coinductive:"}]}
        coinductive: false, // only relevant for Chalk testing
        non_enumerable: true,
        // FIXME: set these flags correctly