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

18.5.3: Fix cross-references

    XMLWordPrintable

Details

    Description

      From 18.5.3:

      "non-wildcard parameterization (§9.8)"

      This should instead point to 9.9:

      "non-wildcard parameterization ***(§9.9)***"

      In addition, a cross reference would be useful on the word "instantiation" (some people found the meaning confusing, wondering if it implied resolution):

      "If B contains an instantiation ***(§18.1.3)*** for αi, T, then A'i = T."

      Attachments

        Activity

          People

            abuckley Alex Buckley
            dlsmith Dan Smith
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: