{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
        // or maintenance issue for us.
        // https://github.com/model-checking/kani and is not a performance
        DefKind::Closure => true,