Exception is thrown when the security policy requires code to be type-safe and the verification process is unable to verify that the code is type-safe.

• 当安全策略要求代码是类型安全的,而验证过程无法验证该代码是否类型安全时,就会引发。