changeset 50750:a33890943673 jep-334

fixing regression tests
author vromero
date Wed, 30 May 2018 14:46:54 -0700
parents 246b7535f8e9
children 8367c588a717 1df2b12715c3
files test/langtools/jdk/javadoc/doclet/lib/JavadocTester.java test/langtools/jdk/javadoc/doclet/testClassTree/TestClassTree.java test/langtools/jdk/jshell/TypeNameTest.java test/langtools/tools/javac/T8187978/FilterOutCandidatesForDiagnosticsTest.out test/langtools/tools/javac/generics/inference/8176534/TestUncheckedCalls.java test/langtools/tools/javac/generics/inference/EagerReturnTypeResolution/EagerReturnTypeResolutionTestb.out test/langtools/tools/javac/lvti/harness/NonDenotableTest.java test/langtools/tools/javac/varargs/6806876/T6806876.out
diffstat 8 files changed, 31 insertions(+), 15 deletions(-) [+]
line wrap: on
line diff
--- a/test/langtools/jdk/javadoc/doclet/lib/JavadocTester.java	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/jdk/javadoc/doclet/lib/JavadocTester.java	Wed May 30 14:46:54 2018 -0700
@@ -522,7 +522,9 @@
                         + stringToFind);
             } else {
                 failed(path + ": following text " + (isFound ? "found:" : "not found:") + "\n"
-                        + stringToFind);
+                        + stringToFind + '\n' +
+                        "found \n" +
+                        fileString);
             }
         }
     }
--- a/test/langtools/jdk/javadoc/doclet/testClassTree/TestClassTree.java	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/jdk/javadoc/doclet/testClassTree/TestClassTree.java	Wed May 30 14:46:54 2018 -0700
@@ -63,8 +63,7 @@
                 + "<ul>\n"
                 + "<li class=\"circle\">java.lang.Object\n"
                 + "<ul>\n"
-                + "<li class=\"circle\">java.lang.Enum&lt;E&gt; (implements java.lang."
-                + "Comparable&lt;T&gt;, java.io.Serializable)\n"
+                + "<li class=\"circle\">java.lang.Enum&lt;E&gt; (implements java.lang.Comparable&lt;T&gt;, java.lang.invoke.constant.Constable&lt;T&gt;, java.io.Serializable)\n"
                 + "<ul>\n"
                 + "<li class=\"circle\">pkg.<a href=\"Coin.html\" "
                 + "title=\"enum in pkg\"><span class=\"typeNameLink\">Coin</span></a></li>\n"
--- a/test/langtools/jdk/jshell/TypeNameTest.java	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/jdk/jshell/TypeNameTest.java	Wed May 30 14:46:54 2018 -0700
@@ -192,7 +192,24 @@
         assertType("arrayOf(99)[0]", "Integer");
 
         assertEval("<Z> Z choose(Z z1, Z z2) { return z1; }");
-        assertType("choose(1, 1L);", "Number&Comparable<? extends Number&Comparable<?>>", "Object");
+        assertType("choose(1, 1L);",
+                "Number&Comparable<? extends Number&Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends Number&Comparable<?>" +
+                "&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends Number&Comparable<?>" +
+                "&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends Number&Comparable<?>" +
+                "&java.lang.invoke.constant.ConstantDesc<? extends Number&Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>" +
+                "&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc" +
+                "<? extends Number&Comparable<? extends Number&Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>" +
+                "&java.lang.invoke.constant.Constable<? extends Number&Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>" +
+                "&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable" +
+                "<? extends Number&Comparable<? extends Number&Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>" +
+                "&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>" +
+                "&java.lang.invoke.constant.Constable<? extends Number&Comparable<? extends Number&Comparable<?>" +
+                "&java.lang.invoke.constant.ConstantDesc<? extends Number&Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>" +
+                "&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>" +
+                "&java.lang.invoke.constant.ConstantDesc<? extends Number&Comparable<? extends Number&Comparable<?>" +
+                "&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>" +
+                "&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>",
+                "Object");
     }
 
     public void testVariableTypeName() {
--- a/test/langtools/tools/javac/T8187978/FilterOutCandidatesForDiagnosticsTest.out	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/tools/javac/T8187978/FilterOutCandidatesForDiagnosticsTest.out	Wed May 30 14:46:54 2018 -0700
@@ -1,2 +1,2 @@
-FilterOutCandidatesForDiagnosticsTest.java:12:64: compiler.err.cant.apply.symbols: kindname.method, add, java.lang.String,{(compiler.misc.inapplicable.method: kindname.method, java.util.ArrayList, add(compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>,java.lang.Object[],int), (compiler.misc.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.method, java.util.ArrayList, add(compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>), (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String, compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>))),(compiler.misc.inapplicable.method: kindname.method, java.util.ArrayList, add(int,compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>), (compiler.misc.arg.length.mismatch))}
+FilterOutCandidatesForDiagnosticsTest.java:12:64: compiler.err.cant.apply.symbols: kindname.method, add, java.lang.String,{(compiler.misc.inapplicable.method: kindname.method, java.util.ArrayList, add(compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>,java.lang.Object[],int), (compiler.misc.arg.length.mismatch)),(compiler.misc.inapplicable.method: kindname.method, java.util.ArrayList, add(compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>), (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String, compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>))),(compiler.misc.inapplicable.method: kindname.method, java.util.ArrayList, add(int,compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>), (compiler.misc.arg.length.mismatch))}
 1 error
--- a/test/langtools/tools/javac/generics/inference/8176534/TestUncheckedCalls.java	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/tools/javac/generics/inference/8176534/TestUncheckedCalls.java	Wed May 30 14:46:54 2018 -0700
@@ -223,7 +223,7 @@
         return Stream.of(decls)
                 .filter(d -> d.hasKind(DeclKind.NONE))
                 .flatMap(d -> Stream.of(d.returnKind(), d.argumentsKind(), d.typeVarsKind()))
-                .noneMatch(tk -> tk.ordinal() != 0);
+                .noneMatch((Enum<? extends Enum<?>> tk) -> tk.ordinal() != 0);
     }
 
     boolean tvarFilter() {
--- a/test/langtools/tools/javac/generics/inference/EagerReturnTypeResolution/EagerReturnTypeResolutionTestb.out	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/tools/javac/generics/inference/EagerReturnTypeResolution/EagerReturnTypeResolutionTestb.out	Wed May 30 14:46:54 2018 -0700
@@ -4,10 +4,10 @@
 EagerReturnTypeResolutionTestb.java:45:26: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<?>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:74:15: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.I<java.lang.Integer>,EagerReturnTypeResolutionTestb.I<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:75:15: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.I<java.lang.Integer>,EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
-EagerReturnTypeResolutionTestb.java:77:9: compiler.err.cant.apply.symbol: kindname.method, takeIString, EagerReturnTypeResolutionTestb.I<java.lang.String>, EagerReturnTypeResolutionTestb.I<compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object))
+EagerReturnTypeResolutionTestb.java:77:9: compiler.err.cant.apply.symbol: kindname.method, takeIString, EagerReturnTypeResolutionTestb.I<java.lang.String>, EagerReturnTypeResolutionTestb.I<compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object))
 EagerReturnTypeResolutionTestb.java:78:21: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.I<java.lang.Integer>,EagerReturnTypeResolutionTestb.I<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:79:21: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.I<java.lang.Integer>,EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
-EagerReturnTypeResolutionTestb.java:81:30: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
+EagerReturnTypeResolutionTestb.java:81:30: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:82:24: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.I<java.lang.Integer>,EagerReturnTypeResolutionTestb.I<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:83:24: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.I<java.lang.Integer>,EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:85:15: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<?>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.I<?>,EagerReturnTypeResolutionTestb.I<java.lang.String>)
@@ -17,10 +17,10 @@
 EagerReturnTypeResolutionTestb.java:90:24: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.I<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.I<?>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.I<?>,EagerReturnTypeResolutionTestb.I<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:91:15: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.J<java.lang.Integer>,EagerReturnTypeResolutionTestb.J<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:92:15: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.J<java.lang.Integer>,EagerReturnTypeResolutionTestb.J<java.lang.String>,java.lang.Object)
-EagerReturnTypeResolutionTestb.java:94:9: compiler.err.cant.apply.symbol: kindname.method, takeIString, EagerReturnTypeResolutionTestb.I<java.lang.String>, EagerReturnTypeResolutionTestb.J<compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.J<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object))
+EagerReturnTypeResolutionTestb.java:94:9: compiler.err.cant.apply.symbol: kindname.method, takeIString, EagerReturnTypeResolutionTestb.I<java.lang.String>, EagerReturnTypeResolutionTestb.J<compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.J<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object))
 EagerReturnTypeResolutionTestb.java:95:21: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.J<java.lang.Integer>,EagerReturnTypeResolutionTestb.J<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:96:21: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.J<java.lang.Integer>,EagerReturnTypeResolutionTestb.J<java.lang.String>,java.lang.Object)
-EagerReturnTypeResolutionTestb.java:98:30: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.J<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
+EagerReturnTypeResolutionTestb.java:98:30: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.J<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:99:24: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.J<java.lang.Integer>,EagerReturnTypeResolutionTestb.J<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:100:24: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.J<java.lang.Integer>,EagerReturnTypeResolutionTestb.J<java.lang.String>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:102:15: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.String>)
@@ -28,10 +28,10 @@
 EagerReturnTypeResolutionTestb.java:104:24: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.String>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.String>)
 EagerReturnTypeResolutionTestb.java:105:15: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.Integer>)
 EagerReturnTypeResolutionTestb.java:106:15: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.Integer>,java.lang.Object)
-EagerReturnTypeResolutionTestb.java:108:9: compiler.err.cant.apply.symbol: kindname.method, takeIString, EagerReturnTypeResolutionTestb.I<java.lang.String>, EagerReturnTypeResolutionTestb.I<compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object))
+EagerReturnTypeResolutionTestb.java:108:9: compiler.err.cant.apply.symbol: kindname.method, takeIString, EagerReturnTypeResolutionTestb.I<java.lang.String>, EagerReturnTypeResolutionTestb.I<compiler.misc.type.captureof: 1, ? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object))
 EagerReturnTypeResolutionTestb.java:109:21: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.Integer>)
 EagerReturnTypeResolutionTestb.java:110:21: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.Integer>,java.lang.Object)
-EagerReturnTypeResolutionTestb.java:112:30: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
+EagerReturnTypeResolutionTestb.java:112:30: compiler.err.prob.found.req: (compiler.misc.inferred.do.not.conform.to.upper.bounds: EagerReturnTypeResolutionTestb.I<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>, EagerReturnTypeResolutionTestb.I<java.lang.String>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:113:24: compiler.err.cant.apply.symbol: kindname.method, eq2, java.util.List<T>,java.util.List<T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.eq.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.Integer>)
 EagerReturnTypeResolutionTestb.java:114:24: compiler.err.cant.apply.symbol: kindname.method, upper2, java.util.List<? super T>,java.util.List<? super T>, java.util.List<EagerReturnTypeResolutionTestb.J<java.lang.Integer>>,java.util.List<EagerReturnTypeResolutionTestb.K>, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.incompatible.upper.bounds: T, EagerReturnTypeResolutionTestb.K,EagerReturnTypeResolutionTestb.J<java.lang.Integer>,java.lang.Object)
 EagerReturnTypeResolutionTestb.java:174:9: compiler.err.cant.apply.symbol: kindname.method, takeLong, long, java.lang.Double, kindname.class, EagerReturnTypeResolutionTestb, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inferred.do.not.conform.to.upper.bounds: java.lang.Double, java.lang.Long,java.lang.Object))
--- a/test/langtools/tools/javac/lvti/harness/NonDenotableTest.java	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/tools/javac/lvti/harness/NonDenotableTest.java	Wed May 30 14:46:54 2018 -0700
@@ -125,8 +125,6 @@
         @InferredType(SEL_INT_ENUM_SEL)
         var c = s;
         for (@InferredType(SEL_INT_ENUM_SEL) var s2 = s ; ;) { break; }
-        for (@InferredType(SEL_INT_ENUM_SEL) var s2 : arrayOf(s)) { break; }
-        for (@InferredType(SEL_INT_ENUM_SEL) var s2 : listOf(s)) { break; }
     }
 
     List<? extends String> extString() { return null; }
--- a/test/langtools/tools/javac/varargs/6806876/T6806876.out	Wed May 30 10:39:19 2018 -0700
+++ b/test/langtools/tools/javac/varargs/6806876/T6806876.out	Wed May 30 14:46:54 2018 -0700
@@ -1,4 +1,4 @@
-T6806876.java:11:32: compiler.warn.unchecked.generic.array.creation: java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>>[]
+T6806876.java:11:32: compiler.warn.unchecked.generic.array.creation: java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<? extends java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>>&java.lang.invoke.constant.Constable<? extends java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<? extends java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.ConstantDesc<?>&java.lang.invoke.constant.Constable<?>>&java.lang.invoke.constant.Constable<?>>[]
 T6806876.java:14:19: compiler.warn.unchecked.varargs.non.reifiable.type: T
 - compiler.err.warnings.and.werror
 1 error