Как экземпляр с дженериками работает в Java, несмотря на стирание типа? ⇐ JAVA

[Anonymous]

У меня сложилось впечатление, что в Java оператор экземпляра нельзя использовать с дженериками из-за стирания типа. Однако первый условный оператор в приведенном ниже фрагменте кода компилируется и выполняется без каких-либо ошибок. Может ли кто-нибудь пролить свет на то, почему первое условие не вызывает ошибку во время компиляции? Я использую IntelliJ IDEA с Oracle JDK 17.
public class InstanceofTest {
public static class Tea {}
public static class Herb {}

// Why is this working?
public static void main(String[] args) {
List teas = new ArrayList();

if (teas instanceof List) {
System.out.println("TRUE");
} else {
System.out.println("FALSE");
}

// Compile error
// if (teas instanceof List) {
// System.out.println("TRUE");
// } else {
// System.out.println("FALSE");
// }
}
}


Подробнее здесь: https://stackoverflow.com/questions/782 ... pe-erasure