Closed
Description
Currently we do ensure on CI that cargo miri test
works, but doctests are enabled as I couldn't figure out how to get this to work within bootstrap. However, that has let rust-lang/miri#3404 slip through. So ideally we can figure out these bootstrap issues and test rustdoc inside cargo miri test
on rustc CI.