Like the doc said and then refute, /// Foo turns into #[doc="/// Foo"] which is a bug. It should turns into #[doc="Foo"] (without the ///). Same apply for /** … */.
This is an issue for macro using the meta matcher (cf. #13067) to insert doc into generated code.
cc #18376
cc #10642
cc #6444