package annotations.tests.classfile.foo:
annotation @A: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

annotation @B: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
	String value

// annotation @C: @Retention(value=CLASS) @java.lang.annotation.Target(value={TYPE_USE})
annotation @C: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
	int fieldA
	String fieldB
	
package annotations.tests.classfile.cases:
class TestLocalVariableGenericArray:
	
	method <init>()V:
		local 2 # 37 + 55 : @annotations.tests.classfile.foo.B(value="good")
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.B(value="first param")
			inner-type 3, 1 : @annotations.tests.classfile.foo.B(value="second param")
		
	method someMethod()V:
		local 1 # 8 + 26 : @annotations.tests.classfile.foo.B(value="bad")
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.C(fieldA=0,fieldB="String")
	
	method someMethod2(I)I:
		local 2 # 8 + 66 : @annotations.tests.classfile.foo.C(fieldA=0, fieldB="Boolean")
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.A
		local 3 # 16 + 58 : @annotations.tests.classfile.foo.A
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.B(value="inner-type")
		
	method someMethod3()Z:
		local 1 # 8 + 70 : @annotations.tests.classfile.foo.B(value="t")
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.B(value="map key string")
			inner-type 3, 1 : @annotations.tests.classfile.foo.B(value="map value set")
			inner-type 3, 1, 3, 0 : @annotations.tests.classfile.foo.A
		local 2 # 10 + 68 : 
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.A
			inner-type 3, 1 : @annotations.tests.classfile.foo.C(fieldA=1, fieldB="set of maps")
			inner-type 3, 1, 3, 0 : @annotations.tests.classfile.foo.B(value="maps")
			inner-type 3, 1, 3, 0, 3, 0 : @annotations.tests.classfile.foo.B(value="map key is integer")
			inner-type 3, 1, 3, 0, 3, 1 : @annotations.tests.classfile.foo.B(value="map value is 2-d array")
			inner-type 3, 1, 3, 0, 3, 1, 0, 0 : @annotations.tests.classfile.foo.B(value="first dimension")
			inner-type 3, 1, 3, 0, 3, 1, 0, 0, 0, 0 : @annotations.tests.classfile.foo.B(value ="second dimension")
			
	method someMethod4()V:
		local 1 # 8 + 10 :
		    type:
			inner-type 3, 0 : @annotations.tests.classfile.foo.A