mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #71605 - GuillaumeGomez:remove-e0750-from-whitelist, r=Dylan-DPC

Browse Source 
No need to whitelist E0750 anymore

Since #71304 has been fixed, no need to whitelist it anymore.

r? @Dylan-DPC
This commit is contained in:
Dylan DPC 2020-04-27 22:15:11 +02:00 committed by GitHub
commit c890912da1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/tidy/src/error_codes_check.rs
View File

@ -17,7 +17,7 @@ const WHITELIST: &[&str] = &[
// Some error codes don't have any tests apparently...
const IGNORE_EXPLANATION_CHECK: &[&str] =
&["E0570", "E0601", "E0602", "E0639", "E0729", "E0749", "E0750", "E0751"];
&["E0570", "E0601", "E0602", "E0639", "E0729", "E0749", "E0750"];
fn check_error_code_explanation(
f: &str,