Consider the following:
class Pogo1101 {
def foo, bar, baz
@Override
boolean equals(Object that) {
that.class == Pogo1101 &&
that.foo == this.foo &&
that.bar == this.bar &&
that.baz == this.baz
}
}
Property expressions after the class test could take advantage of flow typing like instanceof. Currently they show as unknown (underlined).

Consider the following:
Property expressions after the class test could take advantage of flow typing like instanceof. Currently they show as unknown (underlined).