From 30ce679b9a1b0c98005c8dd474fb6ad90ac12942 Mon Sep 17 00:00:00 2001 From: Micha Reiser Date: Fri, 19 Dec 2025 08:25:02 +0100 Subject: [PATCH] [ty] Fix rules severity URL (#22069) --- crates/ruff_dev/src/generate_ty_rules.rs | 2 +- crates/ty/docs/rules.md | 168 +++++++++++------------ 2 files changed, 85 insertions(+), 85 deletions(-) diff --git a/crates/ruff_dev/src/generate_ty_rules.rs b/crates/ruff_dev/src/generate_ty_rules.rs index 22394de203..6d3404d589 100644 --- a/crates/ruff_dev/src/generate_ty_rules.rs +++ b/crates/ruff_dev/src/generate_ty_rules.rs @@ -119,7 +119,7 @@ fn generate_markdown() -> String { let _ = writeln!( &mut output, r#" -Default level: {level} · +Default level: {level} · {status_text} · Related issues · View source diff --git a/crates/ty/docs/rules.md b/crates/ty/docs/rules.md index 6eba48d06a..c824959bd3 100644 --- a/crates/ty/docs/rules.md +++ b/crates/ty/docs/rules.md @@ -5,7 +5,7 @@ ## `byte-string-type-annotation` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -36,7 +36,7 @@ def test(): -> "int": ## `call-non-callable` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -60,7 +60,7 @@ Calling a non-callable object will raise a `TypeError` at runtime. ## `conflicting-argument-forms` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -92,7 +92,7 @@ f(int) # error ## `conflicting-declarations` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -123,7 +123,7 @@ a = 1 ## `conflicting-metaclass` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -155,7 +155,7 @@ class C(A, B): ... ## `cyclic-class-definition` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -187,7 +187,7 @@ class B(A): ... ## `cyclic-type-alias-definition` -Default level: error · +Default level: error · Preview (since 1.0.0) · Related issues · View source @@ -215,7 +215,7 @@ type B = A ## `duplicate-base` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -242,7 +242,7 @@ class B(A, A): ... ## `duplicate-kw-only` -Default level: error · +Default level: error · Added in 0.0.1-alpha.12 · Related issues · View source @@ -280,7 +280,7 @@ class A: # Crash at runtime ## `escape-character-in-forward-annotation` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -292,7 +292,7 @@ TODO #14889 ## `fstring-type-annotation` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -323,7 +323,7 @@ def test(): -> "int": ## `implicit-concatenated-string-type-annotation` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -354,7 +354,7 @@ def test(): -> "Literal[5]": ## `inconsistent-mro` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -384,7 +384,7 @@ class C(A, B): ... ## `index-out-of-bounds` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -410,7 +410,7 @@ t[3] # IndexError: tuple index out of range ## `instance-layout-conflict` -Default level: error · +Default level: error · Added in 0.0.1-alpha.12 · Related issues · View source @@ -499,7 +499,7 @@ an atypical memory layout. ## `invalid-argument-type` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -526,7 +526,7 @@ func("foo") # error: [invalid-argument-type] ## `invalid-assignment` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -554,7 +554,7 @@ a: int = '' ## `invalid-attribute-access` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -588,7 +588,7 @@ C.instance_var = 3 # error: Cannot assign to instance variable ## `invalid-await` -Default level: error · +Default level: error · Added in 0.0.1-alpha.19 · Related issues · View source @@ -624,7 +624,7 @@ asyncio.run(main()) ## `invalid-base` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -648,7 +648,7 @@ class A(42): ... # error: [invalid-base] ## `invalid-context-manager` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -675,7 +675,7 @@ with 1: ## `invalid-declaration` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -704,7 +704,7 @@ a: str ## `invalid-exception-caught` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -748,7 +748,7 @@ except ZeroDivisionError: ## `invalid-explicit-override` -Default level: error · +Default level: error · Added in 0.0.1-alpha.28 · Related issues · View source @@ -790,7 +790,7 @@ class D(A): ## `invalid-frozen-dataclass-subclass` -Default level: error · +Default level: error · Added in 0.0.1-alpha.35 · Related issues · View source @@ -834,7 +834,7 @@ class NonFrozenChild(FrozenBase): # Error raised here ## `invalid-generic-class` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -872,7 +872,7 @@ class D(Generic[U, T]): ... ## `invalid-key` -Default level: error · +Default level: error · Added in 0.0.1-alpha.17 · Related issues · View source @@ -911,7 +911,7 @@ carol = Person(name="Carol", age=25) # typo! ## `invalid-legacy-type-variable` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -946,7 +946,7 @@ def f(t: TypeVar("U")): ... ## `invalid-metaclass` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -980,7 +980,7 @@ class B(metaclass=f): ... ## `invalid-method-override` -Default level: error · +Default level: error · Added in 0.0.1-alpha.20 · Related issues · View source @@ -1087,7 +1087,7 @@ Correct use of `@override` is enforced by ty's `invalid-explicit-override` rule. ## `invalid-named-tuple` -Default level: error · +Default level: error · Added in 0.0.1-alpha.19 · Related issues · View source @@ -1141,7 +1141,7 @@ AttributeError: Cannot overwrite NamedTuple attribute _asdict ## `invalid-newtype` -Default level: error · +Default level: error · Preview (since 1.0.0) · Related issues · View source @@ -1171,7 +1171,7 @@ Baz = NewType("Baz", int | str) # error: invalid base for `typing.NewType` ## `invalid-overload` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1221,7 +1221,7 @@ def foo(x: int) -> int: ... ## `invalid-parameter-default` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1247,7 +1247,7 @@ def f(a: int = ''): ... ## `invalid-paramspec` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1278,7 +1278,7 @@ P2 = ParamSpec("S2") # error: ParamSpec name must match the variable it's assig ## `invalid-protocol` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1312,7 +1312,7 @@ TypeError: Protocols can only inherit from other protocols, got ## `invalid-raise` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1361,7 +1361,7 @@ def g(): ## `invalid-return-type` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1386,7 +1386,7 @@ def func() -> int: ## `invalid-super-argument` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1432,7 +1432,7 @@ super(B, A) # error: `A` does not satisfy `issubclass(A, B)` ## `invalid-syntax-in-forward-annotation` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1444,7 +1444,7 @@ TODO #14889 ## `invalid-type-alias-type` -Default level: error · +Default level: error · Added in 0.0.1-alpha.6 · Related issues · View source @@ -1471,7 +1471,7 @@ NewAlias = TypeAliasType(get_name(), int) # error: TypeAliasType name mus ## `invalid-type-arguments` -Default level: error · +Default level: error · Added in 0.0.1-alpha.29 · Related issues · View source @@ -1518,7 +1518,7 @@ Bar[int] # error: too few arguments ## `invalid-type-checking-constant` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1548,7 +1548,7 @@ TYPE_CHECKING = '' ## `invalid-type-form` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1578,7 +1578,7 @@ b: Annotated[int] # `Annotated` expects at least two arguments ## `invalid-type-guard-call` -Default level: error · +Default level: error · Added in 0.0.1-alpha.11 · Related issues · View source @@ -1612,7 +1612,7 @@ f(10) # Error ## `invalid-type-guard-definition` -Default level: error · +Default level: error · Added in 0.0.1-alpha.11 · Related issues · View source @@ -1646,7 +1646,7 @@ class C: ## `invalid-type-variable-constraints` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1681,7 +1681,7 @@ T = TypeVar('T', bound=str) # valid bound TypeVar ## `missing-argument` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1706,7 +1706,7 @@ func() # TypeError: func() missing 1 required positional argument: 'x' ## `missing-typed-dict-key` -Default level: error · +Default level: error · Added in 0.0.1-alpha.20 · Related issues · View source @@ -1739,7 +1739,7 @@ alice["age"] # KeyError ## `no-matching-overload` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1768,7 +1768,7 @@ func("string") # error: [no-matching-overload] ## `non-subscriptable` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1792,7 +1792,7 @@ Subscripting an object that does not support it will raise a `TypeError` at runt ## `not-iterable` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1818,7 +1818,7 @@ for i in 34: # TypeError: 'int' object is not iterable ## `override-of-final-method` -Default level: error · +Default level: error · Added in 0.0.1-alpha.29 · Related issues · View source @@ -1851,7 +1851,7 @@ class B(A): ## `parameter-already-assigned` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1878,7 +1878,7 @@ f(1, x=2) # Error raised here ## `positional-only-parameter-as-kwarg` -Default level: error · +Default level: error · Added in 0.0.1-alpha.22 · Related issues · View source @@ -1905,7 +1905,7 @@ f(x=1) # Error raised here ## `raw-string-type-annotation` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1936,7 +1936,7 @@ def test(): -> "int": ## `static-assert-error` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1966,7 +1966,7 @@ static_assert(int(2.0 * 3.0) == 6) # error: does not have a statically known tr ## `subclass-of-final-class` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -1995,7 +1995,7 @@ class B(A): ... # Error raised here ## `super-call-in-named-tuple-method` -Default level: error · +Default level: error · Preview (since 0.0.1-alpha.30) · Related issues · View source @@ -2029,7 +2029,7 @@ class F(NamedTuple): ## `too-many-positional-arguments` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2056,7 +2056,7 @@ f("foo") # Error raised here ## `type-assertion-failure` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2084,7 +2084,7 @@ def _(x: int): ## `unavailable-implicit-super-arguments` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2130,7 +2130,7 @@ class A: ## `unknown-argument` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2157,7 +2157,7 @@ f(x=1, y=2) # Error raised here ## `unresolved-attribute` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2185,7 +2185,7 @@ A().foo # AttributeError: 'A' object has no attribute 'foo' ## `unresolved-import` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2210,7 +2210,7 @@ import foo # ModuleNotFoundError: No module named 'foo' ## `unresolved-reference` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2235,7 +2235,7 @@ print(x) # NameError: name 'x' is not defined ## `unsupported-bool-conversion` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2272,7 +2272,7 @@ b1 < b2 < b1 # exception raised here ## `unsupported-operator` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2300,7 +2300,7 @@ A() + A() # TypeError: unsupported operand type(s) for +: 'A' and 'A' ## `zero-stepsize-in-slice` -Default level: error · +Default level: error · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2325,7 +2325,7 @@ l[1:10:0] # ValueError: slice step cannot be zero ## `ambiguous-protocol-member` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.20 · Related issues · View source @@ -2366,7 +2366,7 @@ class SubProto(BaseProto, Protocol): ## `deprecated` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.16 · Related issues · View source @@ -2393,7 +2393,7 @@ old_func() # emits [deprecated] diagnostic ## `ignore-comment-unknown-rule` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2424,7 +2424,7 @@ a = 20 / 0 # ty: ignore[division-by-zero] ## `invalid-ignore-comment` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2454,7 +2454,7 @@ a = 20 / 0 # type: ignore ## `possibly-missing-attribute` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.22 · Related issues · View source @@ -2482,7 +2482,7 @@ A.c # AttributeError: type object 'A' has no attribute 'c' ## `possibly-missing-implicit-call` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.22 · Related issues · View source @@ -2514,7 +2514,7 @@ A()[0] # TypeError: 'A' object is not subscriptable ## `redundant-cast` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2541,7 +2541,7 @@ cast(int, f()) # Redundant ## `undefined-reveal` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2565,7 +2565,7 @@ reveal_type(1) # NameError: name 'reveal_type' is not defined ## `unresolved-global` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.15 · Related issues · View source @@ -2623,7 +2623,7 @@ def g(): ## `unsupported-base` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.7 · Related issues · View source @@ -2662,7 +2662,7 @@ class D(C): ... # error: [unsupported-base] ## `useless-overload-body` -Default level: warn · +Default level: warn · Added in 0.0.1-alpha.22 · Related issues · View source @@ -2725,7 +2725,7 @@ def foo(x: int | str) -> int | str: ## `division-by-zero` -Default level: ignore · +Default level: ignore · Preview (since 0.0.1-alpha.1) · Related issues · View source @@ -2749,7 +2749,7 @@ Dividing by zero raises a `ZeroDivisionError` at runtime. ## `possibly-missing-import` -Default level: ignore · +Default level: ignore · Added in 0.0.1-alpha.22 · Related issues · View source @@ -2781,7 +2781,7 @@ from module import a # ImportError: cannot import name 'a' from 'module' ## `possibly-unresolved-reference` -Default level: ignore · +Default level: ignore · Added in 0.0.1-alpha.1 · Related issues · View source @@ -2809,7 +2809,7 @@ print(x) # NameError: name 'x' is not defined ## `unused-ignore-comment` -Default level: ignore · +Default level: ignore · Added in 0.0.1-alpha.1 · Related issues · View source