pyright

Type hints (introduced 2015) serve as documentation and IDE hints but don't prevent runtime errors. Changing function return types still compiles fine, failing only at runtime. Async function typing misses missing `await` calls.