Add comments with type annotations.

This will hopefully help people with their first steps in Rust.

Fixes #16143.

/cc @jvns
Is it? It should render just fine.