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

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

    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: