4 // Note: if you see ^M in this file, that's how your editor renders literal `\r`
6 /// This do
\rc comment contains
\rthree isolated `\r`
\r symbols
7 //~^ ERROR bare CR not allowed in doc-comment
8 //~| ERROR bare CR not allowed in doc-comment
9 //~| ERROR bare CR not allowed in doc-comment