[ty] Make unused-ignore-comment disabled by default for now (#17955)

This commit is contained in:
Alex Waygood 2025-05-08 17:21:34 +01:00 committed by GitHub
parent 6a5533c44c
commit da8540862d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 36 additions and 41 deletions

View file

@ -345,7 +345,7 @@ info: `lint:duplicate-base` is enabled by default
```
```
warning: lint:unused-ignore-comment
info: lint:unused-ignore-comment
--> src/mdtest_snippet.py:72:9
|
70 | A,
@ -388,7 +388,7 @@ info: `lint:duplicate-base` is enabled by default
```
```
warning: lint:unused-ignore-comment
info: lint:unused-ignore-comment
--> src/mdtest_snippet.py:81:13
|
79 | ):

View file

@ -33,7 +33,7 @@ declare_lint! {
pub(crate) static UNUSED_IGNORE_COMMENT = {
summary: "detects unused `type: ignore` comments",
status: LintStatus::preview("1.0.0"),
default_level: Level::Warn,
default_level: Level::Ignore,
}
}