1 .class public test_verify_fail_areturn_wrong_reftype
2 .super java/lang/Object
4 ; ======================================================================
6 .method public <init>()V
8 invokenonvirtual java/lang/Object/<init>()V
12 ; ======================================================================
14 .method public static check(Ljava/lang/Object;)V
17 getstatic java/lang/System/out Ljava/io/PrintStream;
19 invokevirtual java/io/PrintStream/println(Ljava/lang/Object;)V
23 .method public static foo()Ljava/lang/String;
28 invokespecial java/lang/Object/<init>()V
32 ; ======================================================================
34 .method public static main([Ljava/lang/String;)V
38 invokestatic test_verify_fail_areturn_wrong_reftype/foo()Ljava/lang/String;
40 invokestatic test_verify_fail_areturn_wrong_reftype/check(Ljava/lang/Object;)V
41 ; ERROR: VerifyError\|LinkageError