# The protocol client's MUTATING answers, through the @put record path: a
# server TextEdit response becomes one atomic buffer edit with one undo step.
#   =        applies the mock's formatting edit (a header line) and narrates
#            "formatted 1 range(s)" on the message row
#   SPC l r  renames both `add` calls via the server's WorkspaceEdit
#   u        reverses each as a single transaction
file main.rs mod lib;\n\nfn main() {\n    let x = add(1, 2);\n    let y = add(3, 4);\n    let _ = x + y;\n}\n
file lib.rs // mock fixture\npub fn add(a: i32, b: i32) -> i32 {\n    a + b\n}\n
start 25 100 main.rs
wait 8000 add(1, 2)
stable 700 20000
key =
wait 10000 formatted by mock
stable 700 15000
snap formatted
key u
wait 8000 mod lib;
stable 700 15000
snap unformatted
# rename through the leader prompt: both call sites change in one step
press left 13 6
release left 13 6
key space
key l
key r
stable 400 5000
text sum
key enter
wait 10000 sum(3, 4)
stable 700 15000
snap renamed
key u
wait 8000 add(3, 4)
stable 700 15000
snap unrenamed