{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":");"}]}
            );
                ast.initializer().unwrap().syntax().clone(),
            builder.map_node(diverging.syntax().clone(), ast.let_else().unwrap().syntax().clone());