for javac these rules hold:

Object <= ? super Object
? super Object <= Object

where <= represents type containment. Only the first one should hold

Similarly, 'isSameType' should not treat them as the same. (see 18.2.4, which does not treat them as equivalent.)