Unsafe cast warning by Less Than Checker when narrowing an index with a constant upper bound

[panacekcz]

The Less Than Checker reports an error when casting an index with a constant upper bound.

Example (from Guava):

public class LessThanCast {
 void m() {
  byte [] result = new byte[128];
  for (int i = 0; i <= 9; i++) {
   result['0' + i] = (byte) i;
  }
 }
}

Output:

/home/vlasta/workspace/CFExperiments/src/LessThanCast.java:5: warning: [cast.unsafe] "@LessThan("9 + 1") int" may not be casted to the type "@LessThan("10") byte"
   result['0' + i] = (byte) i;
                     ^
1 warning

Expected: no warning