Properties not inhereted when converting array to an object.

Consider the following code:

import org.checkerframework.checker.index.qual.IndexFor;
class tryit{
  void func_1(int[] ar, @IndexFor("#1") int a){
    func_2((Object) ar, a);
  }
  void func_2(Object ar, @IndexFor("#1") int a){
  }
}

Run it by typing in the terminal:
javac -processor index tryit.java

Output:

tryit.java:4: error: [argument.type.incompatible] incompatible types in argument.
	func_2((Object) ar, a);
	                    ^
  found   : @LTLengthOf(value="ar", offset={}) int
  required: @LTLengthOf(value="?", offset={}) int
1 error

However, clearly, a is a valid index for (Object) array

Start by compiling the provided tryit.java example with javac -processor index and inspect the index checker's handling of the array-to-Object conversion. Done means the example no longer rejects a as an index for the converted array, with relevant checker tests added or updated if the existing test structure is found.