diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-10-31 13:46:28 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-11-05 10:22:08 +0100 |
| commit | 6be97e225099cc59dc63f6fc01af7c525d0334df (patch) | |
| tree | 576c7557953368f8460ee9467331d7091defb7d8 /src/test/rustdoc-ui/url-improvements.rs | |
| parent | 1fb404bebe9e7d228859a26b7e40340438d0c427 (diff) | |
| download | rust-6be97e225099cc59dc63f6fc01af7c525d0334df.tar.gz rust-6be97e225099cc59dc63f6fc01af7c525d0334df.zip | |
Improve lint even more
Diffstat (limited to 'src/test/rustdoc-ui/url-improvements.rs')
| -rw-r--r-- | src/test/rustdoc-ui/url-improvements.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/test/rustdoc-ui/url-improvements.rs b/src/test/rustdoc-ui/url-improvements.rs index 81fd0ba7d51..b7b1c26cd6d 100644 --- a/src/test/rustdoc-ui/url-improvements.rs +++ b/src/test/rustdoc-ui/url-improvements.rs @@ -55,6 +55,8 @@ pub fn c() {} /// ``` /// This link should not be linted: http://example.com /// ``` +/// +/// [should_not.lint](should_not.lint) pub fn everything_is_fine_here() {} #[allow(url_improvements)] |