Code that passes the verification test is said to be type-safe.

• 通过此验证测试的代码将被认为是类型安全的。