Peter Hull wrote:
I couldn't see an issue report on this, if it is indeed a bug (maybe multiple single-line doc comments are not meant to be concatenated?) Should I file a report?
Yes, the correct thing is to use /** ... */ there. This could well be my fault, I didn't realize this for a while, and hence was using ///.
Niko _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
