Convert a doc-comment to "sugared" form

... to work around rust-lang/rust#15976