-
Notifications
You must be signed in to change notification settings - Fork 377
Closed
Description
error: Not the same number of type arguments: capturedTypeMirror: com.virtuslab.gitmachete.backend.impl.CreatedAndDuplicatedAndSkippedBranches<com.virtuslab.gitmachete.backend.impl.RootManagedBranchSnapshot> uncapturedType: Object
; The Checker Framework crashed. Please report the crash. Version: Checker Framework 3.49.2.
Compilation unit: /Users/pawel_lipski/git-machete-intellij-plugin/backend/impl/src/main/java/com/virtuslab/gitmachete/backend/impl/aux/CreateGitMacheteRepositoryAux.java
Last visited tree at line 162 column 14:
return newRoots.withExtraSkippedBranch(branchName);
Exception: org.checkerframework.javacutil.BugInCF: Not the same number of type arguments: capturedTypeMirror: com.virtuslab.gitmachete.backend.impl.CreatedAndDuplicatedAndSkippedBranches<com.virtuslab.gitmachete.backend.impl.RootManagedBranchSnapshot> uncapturedType: Object; org.checkerframework.javacutil.BugInCF: Not the same number of type arguments: capturedTypeMirror: com.virtuslab.gitmachete.backend.impl.CreatedAndDuplicatedAndSkippedBranches<com.virtuslab.gitmachete.backend.impl.RootManagedBranchSnapshot> uncapturedType: Object
at org.checkerframework.framework.type.AnnotatedTypeFactory.shouldCapture(AnnotatedTypeFactory.java:4889)
at org.checkerframework.framework.type.AnnotatedTypeFactory.applyCaptureConversion(AnnotatedTypeFactory.java:4970)
at org.checkerframework.framework.type.TypeFromExpressionVisitor.visitIdentifier(TypeFromExpressionVisitor.java:239)
at org.checkerframework.framework.type.TypeFromExpressionVisitor.visitIdentifier(TypeFromExpressionVisitor.java:79)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCIdent.accept(JCTree.java:2592)
...
To repro, check out VirtusLab/git-machete-intellij-plugin#2023 and try running ./gradlew :backend:impl:compileJava
Metadata
Metadata
Assignees
Labels
No labels