BSK-W0050 warning

Redundant type annotation warning

Emits a warning when a type annotation is redundant because the inferred type exactly matches the declared type. This is Basilisk's headline differentiator from other type checkers.

x: int = 42        # W0050 — annotation is redundant
y: str = "hello"   # W0050 — annotation is redundant
z: float = 42      # NO warning — annotation adds information (widening)

How to handle it

Every rule is on by default — strict is the default, not a cage. You can dial BSK-W0050 down per-file or per-path from your editor or pyproject.toml, or fix the code so it type-checks. See the Warnings rules and the complete diagnostic reference.

Canonical URL: https://www.basilisk-python.dev/errors/BSK-W0050