The following compiles ... surely it should not ...


class SomeClass
{
  boolean method(boolean b) {
    return this instanceof b;
  }
}


In the instanceof expression, b is assumed to be a type in
the current package, and not the argument it has been
declared to be.