| Andreas Gampe | d9e2301 | 2015-06-04 22:19:58 -0700 | [diff] [blame] | 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 |