typetools / typetools/checker-framework
Array element type should not be inferred as @Poly*
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Java
- Estrellas
- 1.1k
- Forks
- 440
- Merge medio
- 1 d 12 h
- PR fusionados (30 d)
- 134
Descripción
Consider the code in file checker-framework/checker/tests/nullness/Issue653.java.
An expression
new String[] {myNonNullString}
is inferred to be of type
@PolyNull String []
when used in a context where that type is expected.
The expression should be inferred to be of type
@NonNull String []
instead.
More generally, @PolyNull should not be considered a type itself -- it's really a type variable.
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Comienza con checker-framework/checker/tests/nullness/Issue653.java e inspecciona cómo se infiere el inicializador de array cuando contiene myNonNullString. Sigue el tratamiento de @PolyNull como variable de tipo en el código relevante de inferencia de tipos. Se considera terminado cuando la expresión se infiere como @NonNull String[] en lugar de @PolyNull String[] en este contexto, con la regresión cubierta por la prueba del issue.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- java
- Área
- compilers, devtools
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 45/100