OrderOfCheckers.java:12:99: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @SearchIndexUnknown int @SearchIndexUnknown []
required: @SearchIndexBottom int @SearchIndexUnknown []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @SameLenUnknown int @SameLen("y") []
required: @SameLenUnknown int @SameLenBottom []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @LowerBoundUnknown int @LowerBoundUnknown []
required: @GTENegativeOne int @LowerBoundUnknown []
OrderOfCheckers.java:12:99: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @UpperBoundUnknown int @UpperBoundUnknown []
required: @UpperBoundBottom int @UpperBoundUnknown []
ErrorOrders.java:13:11: compiler.err.proc.messager: [array.access.unsafe.low] Potentially unsafe array access: the index could be negative.
found   : @LowerBoundUnknown int
required: an integer >= 0 (@NonNegative or @Positive)
ErrorOrders.java:13:11: compiler.err.proc.messager: [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound
found   : @UpperBoundUnknown int
required: @IndexFor("a") or @LTLengthOf("a") -- an integer less than a's length
ErrorOrders.java:23:33: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @UpperBoundUnknown int
required: @LTLengthOf(value="p2") int
ErrorOrders.java:24:47: compiler.err.proc.messager: [expression.unparsable.type.invalid] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]
ErrorOrders.java:24:55: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @LTLengthOf(value="p2") int
required: @LTLengthOf(value="[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]") int
ErrorOrders.java:29:15: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:29:15: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:29:24: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:29:24: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:29:25: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:29:25: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:29:29: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:29:29: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:29:33: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
ErrorOrders.java:29:37: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @SameLenUnknown int @SameLen("p4") []
required: @SameLenUnknown int @SameLenBottom []
ErrorOrders.java:29:41: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int
required: int
ErrorOrders.java:29:46: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
ErrorOrders.java:29:50: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @SameLenUnknown int @SameLen("p4") []
required: @SameLenUnknown int @SameLenBottom []
ErrorOrders.java:29:54: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int
required: int
ErrorOrders.java:33:47: compiler.err.proc.messager: [expression.unparsable.type.invalid] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]
ErrorOrders.java:33:55: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @UpperBoundUnknown int
required: @LTLengthOf(value="[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]") int
ErrorOrders.java:36:15: compiler.err.proc.messager: [array.access.unsafe.low] Potentially unsafe array access: the index could be negative.
found   : @LowerBoundUnknown int
required: an integer >= 0 (@NonNegative or @Positive)
ErrorOrders.java:36:15: compiler.err.proc.messager: [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound
found   : @UpperBoundUnknown int
required: @IndexFor("a") or @LTLengthOf("a") -- an integer less than a's length
ErrorOrders.java:42:43: compiler.err.proc.messager: [expression.unparsable.type.invalid] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]
ErrorOrders.java:42:51: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @UpperBoundUnknown int
required: @LTLengthOf(value="[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]") int
ErrorOrders.java:45:11: compiler.err.proc.messager: [array.access.unsafe.low] Potentially unsafe array access: the index could be negative.
found   : @LowerBoundUnknown int
required: an integer >= 0 (@NonNegative or @Positive)
ErrorOrders.java:45:11: compiler.err.proc.messager: [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound
found   : @UpperBoundUnknown int
required: @IndexFor("a") or @LTLengthOf("a") -- an integer less than a's length
ErrorOrders.java:55:33: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @UpperBoundUnknown int
required: @LTLengthOf(value="p2") int
ErrorOrders.java:56:47: compiler.err.proc.messager: [expression.unparsable.type.invalid] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]
ErrorOrders.java:56:55: compiler.err.proc.messager: [assignment.type.incompatible] incompatible types in assignment.
found   : @LTLengthOf(value="p2") int
required: @LTLengthOf(value="[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because is an invalid expression]") int
ErrorOrders.java:61:15: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:61:15: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:61:24: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:61:24: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:61:25: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:61:25: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:61:29: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @LowerBoundUnknown int
required: @GTENegativeOne int
ErrorOrders.java:61:29: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UpperBoundUnknown int
required: @UpperBoundBottom int
ErrorOrders.java:61:33: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
ErrorOrders.java:61:37: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @SameLenUnknown int @SameLen("p4") []
required: @SameLenUnknown int @SameLenBottom []
ErrorOrders.java:61:41: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int
required: int
ErrorOrders.java:61:46: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int []
ErrorOrders.java:61:50: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @SameLenUnknown int @SameLen("p4") []
required: @SameLenUnknown int @SameLenBottom []
ErrorOrders.java:61:54: compiler.err.proc.messager: [argument.type.incompatible] incompatible types in argument.
found   : @UnknownVal int
required: int
49 errors
