You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.