Despite its success, Rust is a difficult language to learn, in particular because of its borrow checker. Part of the issue is a lack of understanding of the static semantics under which it operates. If we look at dynamic semantics, we observe that people can get this understanding using step-debugging. Therefore, we propose a static step-debugger to learn Rust’s static semantics.