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