its more than annotations, your code fails to compile when you get a type error at least with strict settings. if it type checks and fails at runtime that means

its more than annotations, your code fails to compile when you get a type error at least with strict settings. if it type checks and fails at runtime that means youre missing input validation or using bad declarations for third party/legacy untyped code. or using some escape hatch like `myValue as unknown as MyType` in the wrong way.