typetools / typetools/checker-framework
Array element type should not be inferred as @Poly*
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Java
- Sterne
- 1.1k
- Forks
- 440
- Ø Merge
- 1 T. 12 Std.
- Gemergte PRs (30 T.)
- 134
Beschreibung
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.
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginnen Sie mit checker-framework/checker/tests/nullness/Issue653.java und untersuchen Sie, wie der Array-Initialisierer inferiert wird, wenn er myNonNullString enthält. Verfolgen Sie die Behandlung von @PolyNull als Typvariable im relevanten Code zur Typinferenz. Erledigt ist dies, wenn der Ausdruck in diesem Kontext als @NonNull String[] statt als @PolyNull String[] inferiert wird und die Regression durch den Issue-Test abgedeckt ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- java
- Bereich
- compilers, devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 45/100