Sister pull request of https://github.com/rust-lang/rust/pull/19288, but
for the other style of block doc comment.