This program should elicit an unchecked conversion warning, but does not:

import java.util.ArrayList;

public class X {
    public static void main(String [] args) {
        Object o = new ArrayList<X>();
// if (o instanceof ArrayList<Integer>) { // illegal generic type for instanceof
// System.out.println("Blah");
// }
        if (o __matches ArrayList<Integer> ai) {
            System.out.println("Blah");
        }
        switch (o) {
            case ArrayList<Integer> ai:
                System.out.println("ArrayList<Integer>");
                break;
        }
    }
}