We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0cc5db3 commit af86853Copy full SHA for af86853
mypy/errors.py
@@ -82,7 +82,7 @@ class ErrorInfo:
82
end_column = 0 # -1 if unknown
83
84
# A set string indicating the badness of the info
85
- severity: Severity = ""
+ severity: Severity
86
87
# The error message.
88
message = ""
@@ -123,7 +123,7 @@ def __init__(
123
column: int,
124
end_line: int,
125
end_column: int,
126
- severity: str,
+ severity: Severity,
127
message: str,
128
code: ErrorCode | None,
129
blocker: bool,
0 commit comments