The exception that 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.