NotNullByDefault

[amaembo]

I wanted to add a 'MODULE' target as well, but this would require separate Java 8 and Java 9 versions which will complicate the build, especially taking into account the necessity to support a Kotlin version as well. Let's postpone this.

Not sure about whether it should support newly declared type parameter bounds. Like if we declare class Foo<T> under @NotNullByDefault, should we assume that it's class Foo<T extends @NotNull Object> (that is: cannot be instantiated by a nullable type)? Note that if the class contains a method like T get();, it's implicitly assumed that it's @NotNull T get();

[cpovirk]

Hi, Tagir! I wanted to give you a heads-up that we're planning to finally release JSpecify 1.0.0 tomorrow. That may or may not have any impact on what you plan to do with the JetBrains annotations, but I could understand how our long development time could make anyone reluctant to make JSpecify a significant part of your plans yet.

(Incidentally, here's what we've written about JSpecify support in Intellij and other tools. I should probably have some other specific links to pass along, but that's the main one I'm thinking of at the minute. Let me know (here, in the JSpecify issue tracker, or over email) if you can think of anything you'd like to know.)