Victor Petukhov

There are 10 failed tests. `LoadJava8TestGenerated$SourceJava$TypeUseAnnotations`: - `testBaseClassTypeArguments` - `testClassTypeParameterBounds` - `testMethodTypeParameterBounds` - `testReturnType` - `testValueArguments` The same in `LoadJava8TestGenerated$CompiledJava$TypeUseAnnotations`.

I see the following way for integration nullness annotations into Kotlin. Keep in mind we should avoid breaking changes between minor versions anyway and major versions without preliminary warnings. So...

Some update. Unfortunately, in fact, in Kotlin we will not be able to enable error reporting for jspecify annotations by default in 1.5, as this does not comply with our...

> Once your work on the Kotlin compiler is done, will IntelliJ's Kotlin editor support the same JSpecify warnings/errors as the command-line compiler does? Yes, it will, but not fully...

As we discussed internally earlier, support for type use annotations and some other improvements will be available in 1.4.30 (the corresponding type mismatch reports will be warnings, the compiler flag...

Yes, absolutely right. It's related to antlr/antlr4#2006. Without this check, we encountered an `EmptyStackException` in the absence of an opening `}` and couldn't write the corresponding grammar tests. Unfortunately, with...