BSK-0050 analyze

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        # BSK-0050 — annotation is redundant
y: str = "hello"   # BSK-0050 — annotation is redundant
z: float = 42      # NO warning — annotation adds information (widening)

How to handle it

This Basilisk-specific rule is off by default. Enable its redundancy tag when the policy fits your project, then configure its severity globally or per path in pyproject.toml.

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