Index Checker error message refers to out-of-scope variable

Consider the following code:

class tryit {
    double covariance(final double[] xArray) {
        int length = xArray.length;
        for (int i = 0; i < length; i++) {}
        return ((double) length);
    }
}

Compiled it by: javac -processor index tryit.java

Output:

tryit.java:5: warning: [cast.unsafe] "@LessThan("i + 1") int" may not be casted to the type "@LessThan("[error for expression: i + 1; error: Invalid 'i' because identifier not found]") double"
        return ((double) length);
                ^
tryit.java:5: error: [expression.unparsable.type.invalid] Expression invalid in dependent type annotation: [error for expression: i + 1; error: Invalid 'i' because identifier not found]
        return ((double) length);
                 ^
1 error
1 warning

Reproduce the diagnostic with javac -processor index tryit.java using the example in the issue. Trace the Index Checker code that formats dependent type annotation errors and determine how the out-of-scope i reference is reported; done means the diagnostic no longer produces the misleading variable reference or unparsable-type cascade.