Update rustdoc-ui tests

2020-08-18 13:31:40 +02:00
parent d9d84dca8e
commit f957bae74e
10 changed files with 85 additions and 51 deletions
--- a/src/test/rustdoc-ui/coverage/json.stdout
+++ b/src/test/rustdoc-ui/coverage/json.stdout
@@ -1 +1 @@
-{"$DIR/json.rs":{"total":13,"with_docs":7}}
+{"$DIR/json.rs":{"total":13,"with_docs":7,"with_examples":0}}