Kevin Bierhoff

Re: `getOrXxx` variants, the intention here isn't necessarily to provide a minimal set, but rather, a set of variants comparable to what [`Map`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/-map/) for instance provides. It's not clear to...

for more fun, what if the underlying class *is* annotated? What if methods not listed in the stub are annotated? May be the topic of another issue.

Sounds very reasonable to me. > we can report this using some IDE-level warning and suggest turn on the new annotations interpretation through a compiler flag or update the Kotlin...

(I will admit rarely using getOrDefault to solve such problems. In my own experience the primary "solution" is to iterate a map's entries() instead of keys(), thereby avoiding map.get() in...

"[gullable](https://www.urbandictionary.com/define.php?term=gullable)" (or maybe the more-dictionary-approved "gullible"), as in `@Gullable`, not `@GullableNullness`, was suggested to us at JVM Language Summit (credit to Neal Gafter). "unclear", "undefined", "undecided" are other "negative" possibilities....

Huh I like it :). Could be a nice seemingly easy addition, maybe even doable as part of an initial release? @kevinb9n @cpovirk what did we end up doing in...

Question: last I heard, there was going to be some kind of (auto?) boxing/unboxing for "primitive classes", which effectively would be a nullable P for any primitive class P IIUC....

> the automatically provided .ref Ok so that could become confusing. People would likely expect these types to be implicitly nullable (similar to what's been discussed about Void). OTOH maybe...

(fixed, hilarious) What I'm trying to get at is that with `Integer`, we (currently at least) ask users to write `@Nullable Integer foo()` for a method that can return `null`...

The above example appears to have the property that `foo` is non-null _whenever it is read_. That is, there is no execution where `foo` is read and `null`, simply because...