Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8163892

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

    XMLWordPrintable

    Details

      Description

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

        Attachments

          Activity

            People

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

              Dates

              Created:
              Updated: