Rollup merge of #128380 - folkertdev:naked-compatible-doc-comment, r=…

…bjorn3

make `///` doc comments compatible with naked functions

tracking issue: rust-lang/rust#90957

reported in rust-lang/rust#127853 (comment)

it turns out `/// doc comment` and `#[doc = "doc comment"]` are represented differently, at least at the point where we perform the check for what should be allowed. The `///` style doc comment is now also allowed.

r? ``@bjorn3``

cc ``@hsanzg``