OrderOfCheckers.java:12:95: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int @BottomVal []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : int []
required: @SearchIndexBottom int []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : int @SameLen("y") []
required: int @SameLenBottom []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : int []
required: @GTENegativeOne int []
OrderOfCheckers.java:12:95: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : int []
required: @UpperBoundBottom int []
ErrorOrders.java:13:7: compiler.err.proc.messager: [array.access.unsafe.low] Potentially unsafe array access: the index could be negative.
found   : int
required: an integer >= 0 (@NonNegative or @Positive)
ErrorOrders.java:13:7: compiler.err.proc.messager: [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound
found   : int
required: @IndexFor("a") or @LTLengthOf("a") -- an integer less than a's length
ErrorOrders.java:23:29: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @UpperBoundLiteral(0) int
required: @LTLengthOf("p2") int
ErrorOrders.java:24:43: compiler.err.proc.messager: [expression.unparsable] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]
ErrorOrders.java:24:51: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @LTLengthOf("p2") int
required: @LTLengthOf("[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]") int
ErrorOrders.java:29:11: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of ErrorOrders.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:29:11: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of ErrorOrders.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:29:20: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of ErrorOrders.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:29:20: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of ErrorOrders.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:29:21: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of ErrorOrders.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:29:21: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of ErrorOrders.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:29:25: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of ErrorOrders.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:29:25: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of ErrorOrders.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:29:29: compiler.err.proc.messager: [argument] incompatible argument for parameter p3 of ErrorOrders.test4.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int @BottomVal []
ErrorOrders.java:29:33: compiler.err.proc.messager: [argument] incompatible argument for parameter p4 of ErrorOrders.test4.
found   : int @SameLen("p4") []
required: int @SameLenBottom []
ErrorOrders.java:29:37: compiler.err.proc.messager: [argument] incompatible argument for parameter p5 of ErrorOrders.test4.
found   : @UnknownVal int
required: @BottomVal int
ErrorOrders.java:29:42: compiler.err.proc.messager: [argument] incompatible argument for parameter p3 of ErrorOrders.test4.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int @BottomVal []
ErrorOrders.java:29:46: compiler.err.proc.messager: [argument] incompatible argument for parameter p4 of ErrorOrders.test4.
found   : int @SameLen("p4") []
required: int @SameLenBottom []
ErrorOrders.java:29:50: compiler.err.proc.messager: [argument] incompatible argument for parameter p5 of ErrorOrders.test4.
found   : @UnknownVal int
required: @BottomVal int
ErrorOrders.java:33:43: compiler.err.proc.messager: [expression.unparsable] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]
ErrorOrders.java:33:51: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @UpperBoundLiteral(0) int
required: @LTLengthOf("[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]") int
ErrorOrders.java:36:9: compiler.err.proc.messager: [array.access.unsafe.low] Potentially unsafe array access: the index could be negative.
found   : int
required: an integer >= 0 (@NonNegative or @Positive)
ErrorOrders.java:36:9: compiler.err.proc.messager: [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound
found   : int
required: @IndexFor("a") or @LTLengthOf("a") -- an integer less than a's length
ErrorOrders.java:42:41: compiler.err.proc.messager: [expression.unparsable] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]
ErrorOrders.java:42:49: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @UpperBoundLiteral(0) int
required: @LTLengthOf("[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]") int
ErrorOrders.java:45:7: compiler.err.proc.messager: [array.access.unsafe.low] Potentially unsafe array access: the index could be negative.
found   : int
required: an integer >= 0 (@NonNegative or @Positive)
ErrorOrders.java:45:7: compiler.err.proc.messager: [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound
found   : int
required: @IndexFor("a") or @LTLengthOf("a") -- an integer less than a's length
ErrorOrders.java:55:29: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @UpperBoundLiteral(0) int
required: @LTLengthOf("p2") int
ErrorOrders.java:56:43: compiler.err.proc.messager: [expression.unparsable] Expression invalid in dependent type annotation: [error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]
ErrorOrders.java:56:51: compiler.err.proc.messager: [assignment] incompatible types in assignment.
found   : @LTLengthOf("p2") int
required: @LTLengthOf("[error for expression: This isn't an expression; error: Invalid 'This isn't an expression' because the expression did not parse. Error message: Encountered unexpected token: "isn" <IDENTIFIER>]") int
ErrorOrders.java:61:11: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of InSameCompilationUnit.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:61:11: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of InSameCompilationUnit.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:61:20: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of InSameCompilationUnit.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:61:20: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of InSameCompilationUnit.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:61:21: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of InSameCompilationUnit.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:61:21: compiler.err.proc.messager: [argument] incompatible argument for parameter p1 of InSameCompilationUnit.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:61:25: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of InSameCompilationUnit.test4.
found   : int
required: @GTENegativeOne int
ErrorOrders.java:61:25: compiler.err.proc.messager: [argument] incompatible argument for parameter p2 of InSameCompilationUnit.test4.
found   : int
required: @UpperBoundBottom int
ErrorOrders.java:61:29: compiler.err.proc.messager: [argument] incompatible argument for parameter p3 of InSameCompilationUnit.test4.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int @BottomVal []
ErrorOrders.java:61:33: compiler.err.proc.messager: [argument] incompatible argument for parameter p4 of InSameCompilationUnit.test4.
found   : int @SameLen("p4") []
required: int @SameLenBottom []
ErrorOrders.java:61:37: compiler.err.proc.messager: [argument] incompatible argument for parameter p5 of InSameCompilationUnit.test4.
found   : @UnknownVal int
required: @BottomVal int
ErrorOrders.java:61:42: compiler.err.proc.messager: [argument] incompatible argument for parameter p3 of InSameCompilationUnit.test4.
found   : @UnknownVal int @UnknownVal []
required: @UnknownVal int @BottomVal []
ErrorOrders.java:61:46: compiler.err.proc.messager: [argument] incompatible argument for parameter p4 of InSameCompilationUnit.test4.
found   : int @SameLen("p4") []
required: int @SameLenBottom []
ErrorOrders.java:61:50: compiler.err.proc.messager: [argument] incompatible argument for parameter p5 of InSameCompilationUnit.test4.
found   : @UnknownVal int
required: @BottomVal int
49 errors
