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

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

XMLWordPrintable

    • b62
    • Verified

        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.

          1.
          		 Release Note: Several incorporation steps are silently failing when an error should be reported Sub-task Closed Vicente Arturo Romero Zaldivar  

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

                Created:
                Updated:
                Resolved: