David P. Baker

icon company @google icon location New York icon location Java and Kotlin Ecosystem Tech Lead @google

Results 143 comments of David P. Baker

Allow annotations in subcomponents of `instanceof` types? in pattern variables?

In that example, why would I type `List

Allow annotations in subcomponents of `instanceof` types? in pattern variables?

Ah, but `List` is covered by the _other_ way in which a narrowing conversion is checked: ["All of the type arguments of T are unbounded wildcards"](https://docs.oracle.com/javase/specs/jls/se23/html/jls-5.html#jls-5.1.6.2). Why allow something in...

Document what `@Nullable` annotations on varargs mean?

Does this mean that within `@NullMarked`, implementations can in fact assume that the array isn't going to be `null` (when coming from null-checked code)? That's actually pretty nice.