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

javac, several incorporation steps are silently failing when an error should be reported

    XMLWordPrintable

    Details

    • Subcomponent:
    • Resolved In Build:
      b62
    • Verification:
      Verified

      Backports

        Description

        During inference, there are several incorporation steps which transitively add new constraints starting from an initial constraint set. Some of them can detect and report errors if a transitivity rule doesn't hold.

        For example if a type variable T has bounds T<: U and L <: T then L <: U should hold if this is not the case an error should be issued. Early detection of these issues can save several iterations over an unsolvable constraint set. Right now some incorporation steps fail if the condition they check doesn't hold and some don't. For completeness, consistency, and probably performance, it makes sense to uniform them.

          Attachments

            Issue Links

            There are no Sub-Tasks for this issue.

              Activity

                People

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

                  Dates

                  Created:
                  Updated:
                  Resolved: