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