{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":")"}]}
                        )
                            &format!("let Some($0) = {receiver_text}"),
                        .add_to(acc, ctx.db);