granite-rust/tests/rustdoc/empty-section.rs