.class public LB22331663Fail; .super Ljava/lang/Object; .method public static run(Z)V .registers 6 if-eqz v5, :Label1 # Construct a java.lang.Object completely. This makes v4 of reference type. new-instance v4, Ljava/lang/Object; invoke-direct {v4}, Ljava/lang/Object;-><init>()V :Label1 # At this point, v4 is the merge of Undefined and ReferenceType. The verifier should # reject any use of this, even a copy. Previously this was a conflict. Conflicts must # be movable now, so ensure that we do not get a conflict (and then allow the move). move-object v0, v4 return-void .end method