Старый вариант: if (animal instanceof Dog) { Dog d = (Dog) animal; d.bark(); } С pattern matching переменная объявляется прямо в проверке: if (animal instanceof Dog d) { d.bark(); } d существует только там, где условие instanceof гарантированно истинно...