]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #67151 - petrochenkov:docomm, r=estebank
authorbors <bors@rust-lang.org>
Sat, 28 Dec 2019 19:23:36 +0000 (19:23 +0000)
committerbors <bors@rust-lang.org>
Sat, 28 Dec 2019 19:23:36 +0000 (19:23 +0000)
commit3a3f4a7cbaff09722b8c7cc8f09ce86ff5f953a3
treefcfc3033e187e6c402a0f5774a76bb61f47939dc
parente39ae6f883b1ee47384daf6d32ff5e71272ce977
parent3d57b8bcc0a6a0378a9cea0291bb76d44bec6ff8
Auto merge of #67151 - petrochenkov:docomm, r=estebank

doc comments: Less attribute mimicking

Make sure doc comments are not converted into intermediate meta-items, or not mixed with `doc(inline)` or something like that.

Follow-up to https://github.com/rust-lang/rust/pull/65750.