public class X {
	int x() {
		for (@Marker
		int i : new int[3]) {
		}
		for (final @Marker int i : new int[3]) {
		}
		for (@Marker
		final int i : new int[3]) {
		}
		return 10;
	}

	Zork z;
}

@java.lang.annotation.Target(java.lang.annotation.ElementType.TYPE_PARAMETER)
@interface Marker {
}
