{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"None"}]}
            None => &[],
            Some(general) => general.position_encodings.as_deref().unwrap_or_default(),
        };