Closed
Description
See https://rust-lang.github.io/rust-clippy/master/index.html#empty_line_after_outer_attr
The blank lines in the source (important for this lint) are removed from the docs, since the doc generation step strips empty lines (before hitting any kind of markdown parser)
I'm not quite sure why we do that at all, but we shouldn't be doing it within code.
(It's late so I haven't yet investigated)