diff options
| author | Alexis Bourget <alexis.bourget@gmail.com> | 2020-08-11 21:59:25 +0200 |
|---|---|---|
| committer | Alexis Bourget <alexis.bourget@gmail.com> | 2020-08-11 21:59:25 +0200 |
| commit | 883dffa4c9d7961520c8e152f4c2cd901e425bb7 (patch) | |
| tree | 5050cdf4a06552900bd191d3d892706df3c6a592 /src | |
| parent | cbe7c5ce705896d4e22bf6096590bc1f17993b78 (diff) | |
| download | rust-883dffa4c9d7961520c8e152f4c2cd901e425bb7.tar.gz rust-883dffa4c9d7961520c8e152f4c2cd901e425bb7.zip | |
Accept more safety comments (notably those that are on multiple lines without text after SAFETY:)
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/tidy/src/style.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/tidy/src/style.rs b/src/tools/tidy/src/style.rs index 9c27a8a6f88..bce3cf06b07 100644 --- a/src/tools/tidy/src/style.rs +++ b/src/tools/tidy/src/style.rs @@ -263,7 +263,7 @@ pub fn check(path: &Path, bad: &mut bool) { suppressible_tidy_err!(err, skip_undocumented_unsafe, "undocumented unsafe"); } } - if line.contains("// SAFETY: ") || line.contains("// Safety: ") { + if line.contains("// SAFETY:") || line.contains("// Safety:") { last_safety_comment = true; } else if line.trim().starts_with("//") || line.trim().is_empty() { // keep previous value |