OrderOfCheckers.java:12:95: compiler.err.proc.messager: [[value, allcheckers]:assignment] incompatible types in assignment.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [[index, searchindex, allcheckers]:assignment] incompatible types in assignment.
found   : @SearchIndexUnknown int @SearchIndexUnknown []
required: @SearchIndexBottom int @SearchIndexUnknown []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [[index, samelen, allcheckers]:assignment] incompatible types in assignment.
found   : @SameLenUnknown int @SameLen("y") []
required: @SameLenUnknown int @SameLenBottom []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [[index, lowerbound, allcheckers]:assignment] incompatible types in assignment.
found   : @LowerBoundUnknown int @LowerBoundUnknown []
required: @GTENegativeOne int @LowerBoundUnknown []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [[index, upperbound, allcheckers]:assignment] incompatible types in assignment.
found   : @UpperBoundUnknown int @UpperBoundUnknown []
required: @UpperBoundBottom int @UpperBoundUnknown []
5 errors