Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[red-knot] Remove lint-phase (#13922)

Browse Source 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
This commit is contained in:
Micha Reiser
2024-10-25 20:40:52 +02:00
committed by GitHub
parent 5eb87aa56e
commit 6aaf1d9446
30 changed files with 357 additions and 377 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
crates/red_knot_python_semantic/resources/mdtest/exception/basic.md
View File

@@ -6,7 +6,7 @@
import re
try:
x
help()
except NameError as e:
reveal_type(e) # revealed: NameError
except re.error as f:
@@ -19,7 +19,7 @@ except re.error as f:
from nonexistent_module import foo # error: [unresolved-import]
try:
x
help()
except foo as e:
reveal_type(foo) # revealed: Unknown
reveal_type(e) # revealed: Unknown
@@ -31,7 +31,7 @@ except foo as e:
EXCEPTIONS = (AttributeError, TypeError)
try:
x
help()
except (RuntimeError, OSError) as e:
reveal_type(e) # revealed: RuntimeError | OSError
except EXCEPTIONS as f:
@@ -43,7 +43,7 @@ except EXCEPTIONS as f:
```py
def foo(x: type[AttributeError], y: tuple[type[OSError], type[RuntimeError]], z: tuple[type[BaseException], ...]):
try:
w
help()
except x as e:
# TODO: should be `AttributeError`
reveal_type(e) # revealed: @Todo