1 The situation in this test was discovered by running dexfuzz on 2 another fuzzingly random generated Java test. The soft verification 3 fail (on the final field modification) should not hide the hard 4 verification fail (on the type mismatch) to avoid a crash later on. 5
