java.lang.AssertionError

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • java.lang.AssertionError: Unexpected tree: \exists int i; 0 <= i && i < right.length; right[i] == 0 with kind: OTHER within: \exists int i; 0 <= i && i < right.length; right[i] == 0 with kind: OTHER at com.sun.tools.javac.util.Assert.error(Assert.java:133) at com.sun.tools.javac.comp.Attr$TypeAnnotationsValidator.validateAnnotatedType(Attr.java:4680) at com.sun.tools.javac.comp.Attr$TypeAnnotationsValidator.visitVarDef(Attr.java:4525) at com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:852) at org.jmlspecs.openjml.JmlTree$JmlVariableDecl.accept(JmlTree.java:1273) at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49) at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:57) at com.sun.tools.javac.comp.Attr$TypeAnnotationsValidator.visitMethodDef(Attr.java:4516) at com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:778) at org.jmlspecs.openjml.JmlTree$JmlMethodDecl.accept(JmlTree.java:1150) at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49) at com.sun.tools.javac.comp.Attr$TypeAnnotationsValidator.visitClassDef(Attr.java:4577) at com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:693) at org.jmlspecs.openjml.JmlTree$JmlClassDecl.accept(JmlTree.java:1068) at com.sun.tools.javac.comp.Attr.validateTypeAnnotations(Attr.java:4475) at com.sun.tools.javac.code.TypeAnnotations$2.run(TypeAnnotations.java:142) at com.sun.tools.javac.comp.Annotate.flush(Annotate.java:155) at com.sun.tools.javac.comp.Annotate.enterDone(Annotate.java:129) at com.sun.tools.javac.comp.Enter.complete(Enter.java:512) at com.sun.tools.javac.comp.Enter.main(Enter.java:471) at com.sun.tools.javac.comp.JmlEnter.main(JmlEnter.java:766) at com.sun.tools.javac.main.JavaCompiler.enterTrees(JavaCompiler.java:992) at com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:864) at com.sun.tools.javac.main.Main.compile(Main.java:553) at com.sun.tools.javac.main.Main.compile(Main.java:410) at org.jmlspecs.openjml.Main.compile(Main.java:556) at com.sun.tools.javac.main.Main.compile(Main.java:399) at com.sun.tools.javac.main.Main.compile(Main.java:390) at org.jmlspecs.openjml.Main.execute(Main.java:392) at org.jmlspecs.openjml.Main.execute(Main.java:350) at org.jmlspecs.openjml.Main.execute(Main.java:337) at org.jmlspecs.openjml.Main.main(Main.java:309)[IVec-problem.zip]

Users with the same issue

Unknown visitor1 times, last one,
Unknown visitor1 times, last one,