ALT A slightly adapted testcase from an example of the Rust book, specifically on the section about ownership: https://doc.rust-lang.org/stable/book/ch04-01-what-is-ownership.html The code is as follows: ``` // slightly adapted testcase since we don't have printing or `String` yet // https://doc.rust-lang.org/stable/book/ch04-01-what-is-ownership.html struct Compiler { name: &'static str, } fn take_compiler(_: Compiler) {} fn main() { let s1 = Compiler { name: "rustc" }; let s2 = s1; take_compiler(s1); } ```

ALT Shell screenshot of a borrow-checker error with gccrs. The compiler is now able to show you when values are used after being moved, and to point to the location of both the original move and the incorrect use of the moved value.

ALT A screenshot of the borrow-checker error which shows up when you run rustc on the same code as the gccrs example. The error is similar, but rustc shows a more helpful hint, and suggests implementing the `Clone` trait on our `Compiler` struct. It also informs us that a move occurs because the type `Compiler` does not implement the `Copy` trait, another information lacking from gccrs.