javac accepts an incorrect type containment rule: ? super Object <= Object

XMLWordPrintable

      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.)

            Assignee:
            Vicente Arturo Romero Zaldivar
            Reporter:
            Vicente Arturo Romero Zaldivar
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: