BSK-E0012 error

Argument type mismatch at a call site

When a function is called with a literal argument whose type is clearly incompatible with the declared parameter annotation, Basilisk reports the mismatch. The check mirrors the literal-kind vs annotation comparison used by BSK-E0014.

def add(x: int, y: int) -> int:
    return x + y

result: int = add("hello", "world")   # str literals for int params → E0012

Real basilisk check output

What you see when BSK-E0012 fires on a minimal example:

basilisk check output reporting BSK-E0012 — Argument type mismatch at a call site

How to handle it

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

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