检查类型安全

目的：对 TypeScript 代码进行全面的类型安全审查，检测损害编译时安全性和运行时可靠性的违规行为。