Note that this is not in JDK 15, but an upcoming direction for the language:
> The ability to reason clearly and conclusively about permitted subclasses will be realized in a future release that supports pattern matching.
> The ability to reason clearly and conclusively about permitted subclasses will be realized in a future release that supports pattern matching.
But http://openjdk.java.net/jeps/360 says:
> Release 15
Have they lied to me? Those monsters.
If the final version ends up working as explained in the draft, it is going to be a fantastic addition to the language.