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.

checker-framework/checker/tests/nullness/Issue653.java から始め、myNonNullString を含む場合に配列初期化子がどのように推論されるかを調べてください。関連する型推論コードで、型変数としての @PolyNull の扱いを追跡してください。このコンテキストで式が @PolyNull String[] ではなく @NonNull String[] として推論され、Issue のテストでリグレッションがカバーされていれば完了です。