void () { myFixture.configureByText("Test.java", """ import java.util.List; interface I<T> {} record Empty<T extends CharSequence>() implements I<T> {} class X { void test(I<Integer> obj) { if (<error descr="Inconvertible types; cannot cast 'I<java.lang.Integer>' to 'Empty'">obj instanceof Empty()</error>) {} } } """); myFixture.checkHighlighting(); }