Skip to content

BugInCF: Not the same number of type arguments: capturedTypeMirror/uncapturedType #7019

@PawelLipski

Description

@PawelLipski
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
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions