from typing import Literal

x: Literal[3] = 1 + 2