at some point a lot of effort was going into autom...

# announcements

[pniederw]

at some point a lot of effort was going into automatically deriving nullability for java apis, so that it wouldn't have to be restated at every call site. automatic derivation (e.g. for the whole jdk) was eventually deemed impractical, and having to restate at every call site was deemed to burdensome. that’s the summary as I see it.