user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #76642 - GuillaumeGomez:ignored-private-doc-test, r=jyn514

Browse source 
Do not lint ignored private doc tests

Fixes #76457.

r? @ehuss
This commit is contained in:
Tyler Mandry 2020-09-16 12:24:05 -07:00 • committed by GitHub
commit ece688bae9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 20 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/test/rustdoc-ui/coverage/doc-examples.stdout
View file

@ -1,7 +1,7 @@
+-------------------------------------+------------+------------+------------+------------+
| File | Documented | Percentage | Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...tdoc-ui/coverage/doc-examples.rs | 4 | 100.0% | 2 | 50.0% |
| ...tdoc-ui/coverage/doc-examples.rs | 4 | 100.0% | 1 | 25.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total | 4 | 100.0% | 2 | 50.0% |
| Total | 4 | 100.0% | 1 | 25.0% |
+-------------------------------------+------------+------------+------------+------------+

12
src/test/rustdoc-ui/private-doc-test.rs Normal file
View file

@ -0,0 +1,12 @@
// check-pass
#![deny(private_doc_tests)]
mod foo {
/// private doc test
///
/// ```ignore (used for testing ignored doc tests)
/// assert!(false);
/// ```
fn bar() {}
}