the Java type system doesn't have a way to express...

# announcements

[jw]

the Java type system doesn't have a way to express that it's changing the type parameter to non-nullable