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

Inference ignores capture variable as upper bound

    XMLWordPrintable

Details

    • b13
    • Verified

    Backports

      Description

        This produces an unexpected error:

          class C<T> {}
          <X> void m(C<? super X> arg) {}
          void test(C<?> arg) {
            m(arg);
          }

        error: method m in class cannot be applied to given types;
            m(arg);
            ^
          required: C<? super X>
          found: C<CAP#1>
          reason: cannot infer type-variable(s) X
            (argument mismatch; C<CAP#1> cannot be converted to C<? super X>)
          where X is a type-variable:
            X extends Object declared in method <X>m(C<? super X>)
          where CAP#1 is a fresh type-variable:
            CAP#1 extends Object from capture of ?
        1 error

        The error is the same under both -source 8 and -source 7.

        This is a regression: there is also an error in javac 7, but not javac 6.

        Attachments

          Issue Links

            backported by

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8042337 Inference ignores capture variable as upper bound

            • P3 - Major loss of function.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8045160 Inference ignores capture variable as upper bound

            • P3 - Major loss of function.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8052599 Inference ignores capture variable as upper bound

            • P3 - Major loss of function.
            • Resolved
            duplicates

            Bug - A problem which impairs or prevents the functions of the product. JDK-8144209 Type variable capture fails to imply type of lower bound via loose compatibility

            • P3 - Major loss of function.
            • Closed
            relates to

            Bug - A problem which impairs or prevents the functions of the product. JDK-8039222 5.1.10: Define glb for non-class types

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Open

            Bug - A problem which impairs or prevents the functions of the product. JDK-8046762 Revert some inference fixes in JDK-8033718

            • P3 - Major loss of function.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8039214 Inference should not map capture variables to their upper bounds

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-8042656 Inference produces spurious error for intersection type bounds check

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-8044546 Crash on faulty reduce/lambda

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-7086586 Inference producing null type argument

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Closed

            Enhancement - null JDK-8042803 Types.wildLowerBound and cvarLowerBound should call unannotatedType()

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Resolved

            Enhancement - null JDK-8042338 Refactor Types.upperBound to treat wildcards and variables separately

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-8170885 18.4: Avoid inferring capture variables during resolution

            • P3 - Major loss of function.
            • Open

            Bug - A problem which impairs or prevents the functions of the product. JDK-8032268 compilation mismatch between javac 8 source 7 and javac 7 source 7

            • P3 - Major loss of function.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8043914 Inference failure involving capture inference variable

            • P3 - Major loss of function.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8051402 javac, type containment should accept that CAP <= ? extends CAP and CAP <= ? super CAP

            • P3 - Major loss of function.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8067858 Method hiding regression

            • P3 - Major loss of function.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8155072 Type inference regression

            • P3 - Major loss of function.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8160114 Unexpected inferred type from wildcard subtyping constraint

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Resolved

            Bug - A problem which impairs or prevents the functions of the product. JDK-8133118 Incompatible static wildcard bounds

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-8133916 Regression in inference for array type with wildcard

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-8144066 StackOverflowException when computing glb

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-7190296 unsoundness in type-containment implementation

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • Closed

            Activity

              People

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

                Dates

                  Created:
                  Updated:
                  Resolved: