1 This checks a case where javac generates code that stores a byte into a 2 boolean field. The code as generated should not pass the verifier, so the 3 verifier had to be "loosened" to allow this case. 4
