Code that is not verifiably type-safe can attempt to execute if security policy allows the code to bypass verification.

• 如果安全策略允许未被验证为类型安全的代码跳过验证,则可尝试执行此类代码。