void () { doTest(""" class Alfa {} interface Bravo {} class Charlie { boolean x(Alfa a) { return a instanceof /*'instanceof' of expression with type 'Alfa' with incompatible interface 'Bravo'*/Bravo/**/; } } """); }