Minimal Python Exhaustiveness Check Demo

simple_exhaustiveness_example.py

def get_float(num: str | float):
    match (num):
        case str(num):
            return float(num)

typecheck-error-message.txt

error: Cases within match statement do not exhaustively handle all values
    Unhandled type: "float"
    If exhaustive handling is not intended, add "case _: pass"