Denis Zharkov

@fvasco `elvisLike` is not a use case, but it's more like an example of its semantics. The only _real_ use case we've got so far is the impossibility to override/implement...

Thank you all for your suggestions! We've updated the [proposal](https://github.com/Kotlin/KEEP/blob/c72601cf35c1e95a541bb4b230edb474a6d1d1a8/proposals/definitely-non-nullable-types.md) The main change is that we moved from confusing `T!!` syntax to a limited version of intersection types – `T...

> Second option is to change notation of flexible type T! to T!!. So T!! will now also express the "danger" of t!! in expressions. That using T as non-null...

> @dzharkov If there aren't any cases where this would be necessary outside of Java interop, it seems like it would be much simpler to add another JVM-specific annotation. I...

Hey, unfortunately at the moment I can't tell anything concrete on the roadmap, but will try to figure it out

> @dzharkov are there any news about the roadmap? Currently, there are no plans to release it really soon. But to some extent, [Jspecify](https://jspecify.dev/) project might serve as a replacement

@udalov Thanks, will fix it!

Seems to be merged manually with 514fce427b0700da5de71b5dd7b5dc23514ee01e

Thank you for your contribution!

Thank you for your work! This problem is quite complicated and requires a lot of careful analysis and testing. Unfortunately, currently, we cannot dedicate adequate resources to this problem, since...