Array element type should not be inferred as @Poly*

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.

Inizia da checker-framework/checker/tests/nullness/Issue653.java e analizza come viene inferito l'inizializzatore dell'array quando contiene myNonNullString. Traccia la gestione di @PolyNull come variabile di tipo nel codice rilevante per l'inferenza dei tipi. Il lavoro è completato quando l'espressione viene inferita come @NonNull String[] invece che come @PolyNull String[] in questo contesto, con la regressione coperta dal test dell'issue.