In fact, we already do optimize trivial INSTANCEOF...

# language-proposals

[dmitry.petrov]

In fact, we already do optimize trivial INSTANCEOF T for null values.
We can also do that for non-null instances of T