1Regression test for the verifier which used to needlessly cast a dex register 2containing null to a type, and then fail when using that dex register with an 3unrelated type. 4