{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"None,"}]}
        None,
        static_id,
        DefKind::Static { safety: hir::Safety::Safe, mutability: alloc.0.mutability, nested: true },