Michael Kressibucher

For example in `@NonNull Option of(T o)` we don't reason about nullness of `T`, but we would tell that a non null option is being returned. So, in `T get()`...

Yes, as far as I know, null has always been allowed in vavr types. There has been some interesting discussion in https://github.com/vavr-io/vavr/issues/2397 and https://github.com/vavr-io/vavr/issues/2392#issuecomment-475939435. Anyway, with nullness annotations that doesn't...

@JarvisCraft nice, so leaving `AddNullMarkedToPackageInfo` the way it works would allow us to expect annotations in case package-info exists and NullAway's `RequireExpliciteNullMarking` allows us to expect everything to be null...

Duplicate of https://github.com/google/error-prone/issues/4975