{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                continue;
            let Some(ptr) = source_ptr.value.cast::<ast::IdentPat>() else {