{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"WideEncoding::Utf32"}]}
                WideEncoding::Utf32 => Some(PositionEncodingKind::UTF32),
                WideEncoding::Utf16 => Some(PositionEncodingKind::UTF16),
                _ => None,