Stream result after cast evaluated as having @PolyNull element

[MichalStehlikCz]

Compilation of

public class Test {

  public <T> Collection<T> clear(Class<T> type) {
    return Stream.of("abc")
        .map(type::cast)
        .toList();
  }
}

fails with

java: [return] incompatible types in return.
  type of expression: @Initialized @NonNull List<T extends @Initialized @PolyNull Object>
  method return type: @Initialized @NonNull Collection<T extends @Initialized @Nullable Object>

function with @PolyNull annotated return type should evaluate based on its argument type (e.g. @NonNull in this case)

Worked fine in 3.42.0, broken in 3.46.0

[MichalStehlikCz]

... works fine when lambda is used instead of method reference

public class Test {

  public <T> Collection<@NonNull T> clear(Class<T> type) {
    return Stream.of("abc")
        .map(value -> type.cast(value))
        .toList();
  }
}

[mernst]

@MichalStehlikCz Thanks for the bug reports; we appreciate it.