Check out this JEP. They propose to enhance instanceof so it can be used like this:
if (obj instanceof String s) {
    // can use s here
} else {
    // can't use s here
}
 
#java #jep #instanceof