1 .class public LB21646347; 2 3 # If an invoke-virtual dispatches to a miranda method, ensure that we test for the receiver 4 # being a subclass of the abstract class, not postpone the check because the miranda method's 5 # declaring class is an interface. 6 7 .super Ljava/lang/Object; 8 9 .method public static run(LB21646347;)V 10 .registers 1 11 # Invoke the miranda method on an object of this class. This should fail type-checking, 12 # instead of letting this pass as the declaring class is an interface. 13 invoke-virtual {v0}, LMain$AbstractClass;->m()V 14 return-void 15 .end method 16