47e831753b
Rustc already removes all leading `/` symbols during the conversion from doc-comments into annotations. Any additional trimming of non whitespace characters just reduces the formatting flexibility of a comment. ... fixes #374