Error code configuration

name = "hello"
name.append("world")  # error: "str" has no attribute "append"  [attr-defined]

print(undefined_var)  # error: Name "undefined_var" is not defined  [name-defined]

def greet(name: str) -> None:
    print(f"Hello, {name}")

greet()  # error: Missing positional argument "name" in call  [call-arg]

def process(x: int) -> None:
    pass

process("hello")  # error: Argument 1 has incompatible type "str"; expected "int"  [arg-type]

def get_number() -> int:
    return "not a number"  # error: Incompatible return value type  [return-value]

x: int = "string"  # error: Incompatible types in assignment  [assignment]

data: dict[str, int] = {"a": 1}
value = data[0]  # error: Invalid index type "int" for "dict[str, int]"  [index]

result = "hello" + 123  # error: Unsupported operand types  [operator]

import nonexistent_module  # error: Cannot find implementation or library stub  [import]

import missing_package  # error: Cannot find implementation  [import-not-found]

import untyped_library  # error: Library stubs not installed  [import-untyped]

def calculate(x, y):  # error: Function is missing a type annotation  [no-untyped-def]
    return x + y

def untyped(x, y):
    return x + y

def typed(a: int, b: int) -> int:
    return untyped(a, b)  # error: Call to untyped function  [no-untyped-call]

items = []  # error: Need type annotation for "items"  [var-annotated]

from typing import cast

x: int = 5
y = cast(int, x)  # error: Redundant cast  [redundant-cast]

x: int = 5
if x == "hello":  # error: Non-overlapping equality check  [comparison-overlap]
    pass

def example(x: int) -> str:
    if isinstance(x, str):  # Always false
        return x  # error: Statement is unreachable  [unreachable]
    return str(x)

items: list[str] = ["a", "b"]
if items:  # error: List is always truthy  [truthy-bool]
    pass

x: int = 5  # type: ignore  # error: Unused "type: ignore" comment  [unused-ignore]

x = unknown_function()  # type: ignore  # error: "type: ignore" without code  [ignore-without-code]

async def get_data() -> str:
    return "data"

async def process() -> None:
    get_data()  # error: Unused awaitable  [unused-awaitable]

def example(flag: bool) -> None:
    if flag:
        x = 10
    print(x)  # error: Name "x" may be undefined  [possibly-undefined]

from typing import override

class Base:
    def method(self) -> None: pass

class Derived(Base):
    def method(self) -> None:  # error: Missing @override  [explicit-override]
        pass