Function one_line_doc 

pub fn one_line_doc(text: &str) -> String

#2203: the source spelling of a one-line doc whose text is text: --- and the text, or a ---- marker when the text ends in a whitespace-preceded run of three dashes (which a --- marker would read as its closer). Empty text is spelled with a closer, --- ---, since a bare --- opens a block.