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

4.9.2: Remove references to "assignment compatible"

    XMLWordPrintable

Details

    • Bug
    • Resolution: Unresolved
    • P4
    • tbd
    • 21
    • specification
    • vm

    Description

      Assignment compatibility is defined by the Java language. Since Java 5, it allows conversions like int --> Object.

      Assertions about types in 4.9.2 are stated in terms of assignment compatibility (and, in one case, method invocation compatibility), but this introduces an inappropriate language dependency, and, since Java 5, is incorrect.

      Better to use the term "subtype", which is admittedly a bit vague at this stage, but can be more fully defined in 4.10.1.2.

      Attachments

        Activity

          People

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

            Dates

              Created:
              Updated: