void (R<Integer> r) { switch (<error descr="'switch' statement does not cover all possible input values">r</error>) { case R<Integer>(D<?> d) -> {} case R<Integer>(E e) -> {} case R<Integer>(F<?, ?, Integer> f) -> {} } }