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

Types.isSubtype takes wildcards as input

    XMLWordPrintable

    Details

      Description

      Due to an incorrect substitution (I think), bounds checking sometimes invokes Types.isSubtype with a wildcard in place of a type. We work around this by getting the wildcard's bound, but that should not be subtyping's job, and is probably incorrect behavior.

      I encountered this while building JDK & running tests after removing the wildcard lower bound mapping performed in the initialization of 'lower'. (I kept the capture variable lower bound mapping, which is correct.)

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              dlsmith Dan Smith
              Reporter:
              dlsmith Dan Smith
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Dates

                Created:
                Updated: