> In Python, type annotations have no impact on runtime behavior

That's true of any "scripting" language types.

E.g. TypeScript

  const x: number = 0n; // still is a bigint

Granted, in both the Python and the TypeScript example, the type checker will complain at your incorrect type annotation.