Why are doc comments parsed as raw string?

[magurotuna]

Hi. I have a question.

https://github.com/dtolnay/syn/blob/master/src/attr.rs#L119-L150
The above code tells me that doc comments like /// foobar are transformed into #[doc = r"foobar"].

However, The Rust Reference says:

/// Foo turns into #[doc="Foo"] and /** Bar */ turns into #[doc="Bar"].

Why does this crate parse doc comments as raw string, unlike the rust compiler?

[dtolnay]

The reference is wrong. ;)

[dtolnay]

Here is how to see rustc's parse:

macro_rules! m {
    (#[doc = $tt:tt]) => { stringify!($tt) };
}

fn main() {
    println!(m! {
        ///test
    });
}

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=072e5762ca130412b992b55d4e87ccb8

[magurotuna]

Thanks for the quick reply with a great example!
I've never thought the reference is wrong. The playground output is exactly raw string.
My question have been completely solved, so I close it.