Auto merge of #114273 - nnethercote:move-doc-comment-desugaring, r=pe… · rust-lang/miri@f2a124c · GitHub

Commit

Auto merge of #114273 - nnethercote:move-doc-comment-desugaring, r=pe…

Browse files

…trochenkov

Move doc comment desugaring out of `TokenCursor`.

It's awkward that `TokenCursor` sometimes desugars doc comments on the fly, but usually doesn't.

r? `@petrochenkov`

Loading branch information

bors committed Aug 1, 2023

2 parents d699790 + 0644e62 commit f2a124c