/** -> ///

second half of https://github.com/rust-lang/rust/pull/19288