Open
Description
Was reading this https://rust-lang.github.io/rustc-guide/walkthrough.html and I thought that it could be very nice if we can explain the actual code of the PR. It seems like a feature that touches a lot of parts of the compiler so it may be a good idea to explain things there or later in the guide but using this same example.
cc @mark-i-m