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

Lambda Spec: Clarify meaning of 'lub' and 'glb' as used in resolution

XMLWordPrintable

    • Verified

      Resolution, if it falls back to the capture variable solution (alpha <: List<alpha>, alpha <: ArrayList<alpha>), performs glb and lub on types that may involve these fresh capture variables, before the variables' bounds are well-defined. It's impossible to do correct subtype checks on these partially-defined variables.

      As a minimum, lub should not be invoked on non-proper types.

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

              Created:
              Updated:
              Resolved: