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

Inference of formal type parameter (unused in formal parameters) is not performed

    XMLWordPrintable

Details

    • b72
    • generic, x86
    • generic, linux
    • Verified

    Backports

      Description

        This source code:
        -----------------------------------------------------------------------------
        public class GenericTest {
            
            public static interface Interface<T> { }
            public static class IntegerInterface implements Interface<Integer> { }
            
            public static <I extends Interface<T>, T> T getGenericValue(I test) {
                return null;
            }
            
            public static void testSet(Integer test) { }
            
            public static void main(String args[]) {
                
                Integer test = getGenericValue(new IntegerInterface());
                testSet(getGenericValue(new IntegerInterface())); //flagged as an error
            }
        }
        ---------------------------------------------------------------------------------------

        Produces the following compilation error:
        ---------------------------------------------------------------------------------------
        GenericTest.java:15: testSet(java.lang.Integer) in GenericTest cannot be applied to (java.lang.Object)
                 testSet(getGenericValue(new IntegerInterface())); //flagged as an error
                 ^
        1 error
        ---------------------------------------------------------------------------------------

        On:
        java version "1.7.0-ea"
        Java(TM) SE Runtime Environment (build 1.7.0-ea-b22)
        Java HotSpot(TM) Server VM (build 11.0-b08, mixed mode)

        But not on:
        java version "1.6.0_05-ea"
        Java(TM) SE Runtime Environment (build 1.6.0_05-ea-b04)
        Java HotSpot(TM) Tiered VM (build 1.6.0_05-ea-b04, mixed mode)

        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-8047379 Inference of formal type parameter (unused in formal parameters) is not performed

            • P3 - Major loss of function.
            • Closed
            duplicates

            Bug - A problem which impairs or prevents the functions of the product. JDK-6862521 closed/javax/swing/JTable/sorting/UnitTest.java test fails with invalid inferred types.

            • P2 - Crashes, loss of data, severe memory leak.
            • Closed
            relates to

            Bug - A problem which impairs or prevents the functions of the product. JDK-6569074 Type inference fails with bounded type parameters

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-6278587 Compiler fails to infer correct type for under-constrained type variables

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-6638712 Inference with wildcard types causes selection of inapplicable method

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-6785112 Umbrella: issues with generic method type-inference

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-6369608 inference: Inferred types not substituted in bounds of unconstrained type variables

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-6707034 javac accepts method invocation with actuals that are not subtypes of the formal

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-7034548 Statement with generics fails to compile in one line, compiles in two lines

            • P4 - Minor loss of function, or other problem where easy workaround is present.
            • 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-6811943 inference: javac 1.6 & Eclipse infer more types than JLS (umbrella CR)

            • P3 - Major loss of function.
            • Closed

            Enhancement - null JDK-6640435 inference: propagate >> and == constraints to help uninferred type vars

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

            Activity

              People

                mcimadamore Maurizio Cimadamore
                jlahoda Jan Lahoda
                Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: