doc test

Also written: doc tests, doc comment

A code example inside a `///` doc comment that `cargo test` also runs, so documentation examples stay correct.