Auto merge of #2318 - RalfJung:nodoc, r=RalfJung
Auto merge of #2318 - RalfJung:nodoc, r=RalfJung

there are no doctests in ui_test

It tries to run doctests which leads to an error when testing against a locally built rustc (that has no rustdoc).

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri