from typing import assert_never, Literal

def func(x: Literal[1, 2]) -> None:
    match x:
        case 1:
            y = 1
        case 2:
            y = 1
        case _:
            assert_never(x)

    print(y)