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