Compiled from "TypeAnnotationProblems.java"
public class TypeAnnotationProblems {
  public TypeAnnotationProblems();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: aload_0
       5: aconst_null
       6: putfield      #2                  // Field _state:LTypeAnnotationProblems$MyState;
       9: return

  public java.lang.Object[] wrongOffset();
    Code:
       0: aload_0
       1: getfield      #2                  // Field _state:LTypeAnnotationProblems$MyState;
       4: astore_1
       5: iconst_1
       6: anewarray     #3                  // class java/lang/Object
       9: dup
      10: iconst_0
      11: aload_1
      12: checkcast     #4                  // class TypeAnnotationProblems$MyState
      15: aastore
      16: areturn

  public java.lang.Object[] castElimination();
    Code:
       0: aload_0
       1: getfield      #2                  // Field _state:LTypeAnnotationProblems$MyState;
       4: astore_1
       5: iconst_1
       6: anewarray     #3                  // class java/lang/Object
       9: dup
      10: iconst_0
      11: aload_1
      12: aastore
      13: areturn

  public java.lang.Object[] wrongOffsetFunction();
    Code:
       0: iconst_1
       1: anewarray     #3                  // class java/lang/Object
       4: dup
       5: iconst_0
       6: aload_0
       7: invokespecial #5                  // Method leaking:()Ljava/lang/Object;
      10: checkcast     #4                  // class TypeAnnotationProblems$MyState
      13: aastore
      14: areturn
}