typetools/checker-framework

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• Enforce type declaration bounds

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

  typetools/checker-framework#8043 · Abierto el 21/8/2026

  Los mantenedores suelen responder en 1 día

• Feature of checking for pattern matching on case changing enums (discussion).

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  typetools/checker-framework#8033 · 1 comentario · Abierto el 21/8/2026

  Los mantenedores suelen responder en 1 día

• Crash on outer.new Inner(outer) {}.

  Quizá libre de nuevo @smillst la tomó hace 50 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  crash

  typetools/checker-framework#8017 · 1 asignado · Abierto el 20/8/2026

  Los mantenedores suelen responder en 1 día

• Make type argument inference make use of `@Covariant`.

  Quizá libre de nuevo Un pull request para esta issue se cerró sin fusionarse. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7708 · Abierto el 8/5/2026

  Los mantenedores suelen responder en 1 día

• Error message on "Do so by passing the top qualifier from the given hierarchy." violation is not informative

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

  typetools/checker-framework#7652 · Abierto el 15/4/2026

  Los mantenedores suelen responder en 1 día

• i18nformat.key.not.found reported for ResourceBundle.getString(key) when key is a valid constant passed through variable indirection

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  Unreproducible

  Dificultad 4/5 3-5 días Aptitud para principiantes 52/100

  typetools/checker-framework#7619 · 4 comentarios · Abierto el 5/4/2026

  Los mantenedores suelen responder en 1 día

• Proposal: Migrate the JDK 21 annotations typetools/jdk to JDK 25

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  typetools/checker-framework#7482 · 5 comentarios · Abierto el 8/2/2026

  Los mantenedores suelen responder en 1 día

• Custom qualifiers and Maven setup

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  typetools/checker-framework#7387 · 1 comentario · Abierto el 19/11/2025

  Los mantenedores suelen responder en 1 día

• Error recognizing Class.isInstance filters out null

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7365 · 5 comentarios · Abierto el 7/11/2025

  Los mantenedores suelen responder en 1 día

• @PolyNull cannot be resolved correctly in nested generic type parameters

  Quizá libre de nuevo @smillst la tomó hace 340 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  typetools/checker-framework#7359 · 1 asignado · Abierto el 3/11/2025

  Los mantenedores suelen responder en 1 día

• `Map.merge` and other methods now always return `@Nullable`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

  typetools/checker-framework#7340 · 1 comentario · 1 reacción · Abierto el 27/10/2025

  Los mantenedores suelen responder en 1 día

• Spurious [dereference.of.nullable] for object under initialization?

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7268 · 1 comentario · Abierto el 17/9/2025

  Los mantenedores suelen responder en 1 día

• Nullness Checker unsoundness with inner classes

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Negative (missing warning or unsoundness)

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7239 · 1 comentario · Abierto el 1/9/2025

  Los mantenedores suelen responder en 1 día

• Confusing qualifier in "required" line of error message

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  typetools/checker-framework#7211 · 1 comentario · Abierto el 20/8/2025

  Los mantenedores suelen responder en 1 día

• type.argument warning when assigning to explicitly retyped type with wildcard parameters

  Quizá libre de nuevo @smillst la tomó hace 411 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Positive (false warning or imprecision)

  typetools/checker-framework#7210 · 2 comentarios · 1 asignado · Abierto el 20/8/2025

  Los mantenedores suelen responder en 1 día

• Poor error messages for `@EnsuresCalledMethods`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

  typetools/checker-framework#7140 · 2 comentarios · 1 reacción · Abierto el 2/7/2025

  Los mantenedores suelen responder en 1 día

• Inconsistent default nullability between Called Methods and Nullness checkers with Lombok

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7138 · 1 comentario · Abierto el 1/7/2025

  Los mantenedores suelen responder en 1 día

• Failing constraint printed twice for `type.arguments.not.inferred` error

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

  typetools/checker-framework#7134 · Abierto el 29/6/2025

  Los mantenedores suelen responder en 1 día

• Generic type variable doesn't respect @NonNull annotation on the generic tpye.

  Quizá libre de nuevo @smillst la tomó hace 482 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  typetools/checker-framework#7104 · 1 asignado · Abierto el 12/6/2025

  Los mantenedores suelen responder en 1 día

• isVariableTreeDeclaredUsingVar assumes var types don't have start positions, is broken by changes in JDK-8329951

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

  typetools/checker-framework#7096 · 1 comentario · Abierto el 10/6/2025

  Los mantenedores suelen responder en 1 día

• Compilation time doubling in Hibernate ORM

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  typetools/checker-framework#7080 · 5 comentarios · Abierto el 20/5/2025

  Los mantenedores suelen responder en 1 día

• Not seeing missing method warning in stub file for an inherited method

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  typetools/checker-framework#7069 · Abierto el 6/5/2025

  Los mantenedores suelen responder en 1 día

• javac API change in Java 25 - Log.DiagnosticHandler

  Quizá libre de nuevo @smillst la tomó hace 542 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  typetools/checker-framework#7039 · 1 asignado · Abierto el 14/4/2025

  Los mantenedores suelen responder en 1 día

• Unsoundness in Nullness Checker with record patterns

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Negative (missing warning or unsoundness)

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7032 · 1 comentario · Abierto el 10/4/2025

  Los mantenedores suelen responder en 1 día

• Model possible `MatchException`s in control-flow graphs

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#7028 · 2 comentarios · Abierto el 9/4/2025

  Los mantenedores suelen responder en 1 día

• Support Java 21 and 22 constructs in `.ajava` files

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  typetools/checker-framework#7016 · 2 comentarios · Abierto el 31/3/2025

  Los mantenedores suelen responder en 1 día

• RLC unsoundness at (pseudo?) assignments to `@MustCallUnknown`

  Quizá libre de nuevo Un pull request para esta issue se cerró sin fusionarse. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#6990 · 1 comentario · Abierto el 19/3/2025

  Los mantenedores suelen responder en 1 día

• RLC inference with a private finalizer method

  Quizá libre de nuevo @iamsanjaymalakar la tomó hace 575 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  ResourceLeakChecker

  typetools/checker-framework#6989 · 1 comentario · 1 asignado · Abierto el 13/3/2025

  Los mantenedores suelen responder en 1 día

• Incorrect RLC inference of EnsuresCalledMethods for outer-class fields released by inner-class methods

  Quizá libre de nuevo @iamsanjaymalakar la tomó hace 575 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug ResourceLeakChecker

  typetools/checker-framework#6988 · 3 comentarios · 1 asignado · Abierto el 13/3/2025

  Los mantenedores suelen responder en 1 día

• RLC - [[checkOwningField() did not find a reason!]]

  Quizá libre de nuevo @iamsanjaymalakar la tomó hace 576 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug ResourceLeakChecker

  typetools/checker-framework#6987 · 1 reacción · 1 asignado · Abierto el 12/3/2025

  Los mantenedores suelen responder en 1 día

• Annotation not found in provided JUnit5 stub file

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100

  typetools/checker-framework#6961 · Abierto el 22/1/2025

  Los mantenedores suelen responder en 1 día

• Make JavaDoc respect JPMS module definitions

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#6950 · Abierto el 7/1/2025

  Los mantenedores suelen responder en 1 día

• Problems inferring arguments from stream pipelines

  Quizá libre de nuevo @smillst la tomó hace 651 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  typetools/checker-framework#6938 · 1 asignado · Abierto el 24/12/2024

  Los mantenedores suelen responder en 1 día

• Crash: AsSuperVisitor Declared_Primitive: type is not a boxed primitive

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  typetools/checker-framework#6923 · 2 comentarios · Abierto el 12/12/2024

  Los mantenedores suelen responder en 1 día

• Checker Framework always crashes on all Windows boxes in my team

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  typetools/checker-framework#6902 · 2 comentarios · Abierto el 25/11/2024

  Los mantenedores suelen responder en 1 día

• Possible Null Pointer Dereference in MustCallConsistencyAnalyzer.java

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  ResourceLeakChecker

  Dificultad 2/5 1-3 horas Aptitud para principiantes 42/100

  typetools/checker-framework#6878 · Abierto el 29/10/2024

  Los mantenedores suelen responder en 1 día

• New UI for the website for better readability

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  typetools/checker-framework#6873 · 8 comentarios · Abierto el 25/10/2024

  Los mantenedores suelen responder en 1 día

• CCE: AnnotatedWildcardType cannot be cast to class AnnotatedTypeMirror$AnnotatedDeclaredType

  Quizá libre de nuevo @smillst la tomó hace 715 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  crash

  typetools/checker-framework#6871 · 1 asignado · Abierto el 23/10/2024

  Los mantenedores suelen responder en 1 día

• failed to report type argument that does not satisfy upper bound

  Quizá libre de nuevo @smillst la tomó hace 715 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6868 · 1 asignado · Abierto el 18/10/2024

  Los mantenedores suelen responder en 1 día

• False positive in the Optional Checker

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Positive (false warning or imprecision)

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  typetools/checker-framework#6848 · Abierto el 8/10/2024

  Los mantenedores suelen responder en 1 día

• Can you produce a 'bom' pom file?

  Quizá libre de nuevo @smillst la tomó hace 734 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  typetools/checker-framework#6836 · 2 comentarios · 1 asignado · Abierto el 3/10/2024

  Los mantenedores suelen responder en 1 día

• Unsoundness in MustCallChecker (and RLC) for functional interfaces

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  ResourceLeakChecker

  Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

  typetools/checker-framework#6823 · 8 comentarios · 1 reacción · Abierto el 26/9/2024

  Los mantenedores suelen responder en 1 día

• type parameter bounded by SAM might lead to false negative

  Quizá libre de nuevo @smillst la tomó hace 744 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6816 · 1 comentario · 1 asignado · Abierto el 24/9/2024

  Los mantenedores suelen responder en 1 día

• false negative when encountering recursive bound

  Quizá libre de nuevo @smillst la tomó hace 744 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Negative (missing warning or unsoundness)

  typetools/checker-framework#6815 · 1 comentario · 1 asignado · Abierto el 24/9/2024

  Los mantenedores suelen responder en 1 día

• No easy way to load stubs as Maven dependencies

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  typetools/checker-framework#6813 · 4 comentarios · Abierto el 21/9/2024

  Los mantenedores suelen responder en 1 día

• Improved interaction between `@This` and `@MustCall`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  ResourceLeakChecker

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  typetools/checker-framework#6800 · 1 comentario · Abierto el 13/9/2024

  Los mantenedores suelen responder en 1 día

• WPI for nullness fails to annotate a multi-field declaration

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  typetools/checker-framework#6794 · Abierto el 10/9/2024

  Los mantenedores suelen responder en 1 día

• Setting precondition for a overriden function

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  typetools/checker-framework#6758 · Abierto el 12/8/2024

  Los mantenedores suelen responder en 1 día

• Stream result after cast evaluated as having @PolyNull element

  Quizá libre de nuevo @smillst la tomó hace 793 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  False Positive (false warning or imprecision)

  typetools/checker-framework#6739 · 3 comentarios · 1 asignado · Abierto el 6/8/2024

  Los mantenedores suelen responder en 1 día

• -Alint=trustArrayLenZero is not correctly working to recoganise @ArrayLen() annotation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  typetools/checker-framework#6702 · 7 comentarios · Abierto el 8/7/2024

  Los mantenedores suelen responder en 1 día