Inconsistent Handling of Method Resolution Between javac and ECJ

[yingquanzhao]

Environment：

ECJ Version:

Eclipse Compiler for Java(TM) v20250319-0432, 3.41.100, Copyright IBM Corp 2000, 2020. All rights reserved.

Java Version:

openjdk version "11.0.27" 2025-04-15
OpenJDK Runtime Environment Temurin-11.0.27+6 (build 11.0.27+6)
OpenJDK 64-Bit Server VM Temurin-11.0.27+6 (build 11.0.27+6, mixed mode)

openjdk version "17.0.15" 2025-04-15
OpenJDK Runtime Environment Temurin-17.0.15+6 (build 17.0.15+6)
OpenJDK 64-Bit Server VM Temurin-17.0.15+6 (build 17.0.15+6, mixed mode, sharing)

openjdk version "21.0.7" 2025-04-15 LTS
OpenJDK Runtime Environment Temurin-21.0.7+6 (build 21.0.7+6-LTS)
OpenJDK 64-Bit Server VM Temurin-21.0.7+6 (build 21.0.7+6-LTS, mixed mode, sharing)

Javac Version:

javac 11.0.27
javac 17.0.15
javac 21.0.7

Description:

Hi, We have identified a test program that triggers inconsistent behavior between javac and ECJ. The minimal reproducible version of the program is as follows:

public class Test {
    public static void main(String[] args) {
        java.lang.StackWalker walker = java.lang.StackWalker.getInstance(java.lang.StackWalker.Option.RETAIN_CLASS_REFERENCE);
        java.lang.System.getLogger("AnyLogger").log(java.lang.System.Logger.Level.DEBUG, walker.walk(s -> s.collect(java.util.stream.Collectors.toList())));
    }
}

When compiling this code with javac of JDK 11, 17, or 21, the compiler throws the following errors:

>>>pathToJDK21/javac Test.java

Test.java:4: error: reference to log is ambiguous
        java.lang.System.getLogger("AnyLogger").log(java.lang.System.Logger.Level.DEBUG, walker.walk(s -> s.collect(java.util.stream.Collectors.toList())));
                                               ^
  both method log(Level,String) in Logger and method log(Level,Supplier<String>) in Logger match
Test.java:4: error: incompatible types: inference variable T#1 has incompatible bounds
        java.lang.System.getLogger("AnyLogger").log(java.lang.System.Logger.Level.DEBUG, walker.walk(s -> s.collect(java.util.stream.Collectors.toList())));
                                                                                                    ^
    upper bounds: String,Object
    lower bounds: List<T#2>,R
  where T#1,T#2,R,A,T#3 are type-variables:
    T#1 extends Object declared in method <T#1>walk(Function<? super Stream<StackFrame>,? extends T#1>)
    T#2 extends Object declared in method <T#2>toList()
    R extends Object declared in method <R,A>collect(Collector<? super T#3,A,R>)
    A extends Object declared in method <R,A>collect(Collector<? super T#3,A,R>)
    T#3 extends Object declared in interface Stream
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
2 errors

However, when compiling the same program using ECJ (version 4.36) with --release 21, no error is reported, and the class file is generated successfully:

>>>java -jar ecj-4.36.jar --release 21 -d . Test.java

Would appreciate your insights into this issue. Thanks!

Steps to Reproduce:

Compile the test program using Javac and ECJ:

>>>javac Test.java

>>>java -jar ecj-4.36.jar --release 21 -d . Test.java

• Expected behavior: ECJ should reject the test program with a compilation error.
• Actual behavior: ECJ compiles the program without any errors and generates an executable file.

[srikanth-sankaran]

@stephan-herrmann - thanks for taking a look.

[stephan-herrmann]

Preliminary analysis:

We have four candidate methods

• void log(Level, String)
• void log(Level, Supplier<String>)
• void log(Level, Object)
• void log(Level, String, Object[])

Of these, ecj only deems one as compatible: void log(Level,Object). javac by contrast considers these as (most specific) compatible:

• void log(Level, String)
• void log(Level, Supplier<String>)

As I don't see String anywhere in the program I really wonder, how javac concludes that the lambda s -> s.collect(Collectors.toList()) is a function returning either String or Supplier<String> (at least).

Anyway, here's what happens in ecj when inferring types for walker.walk(s -> s.collect(Collectors.toList())) with target type String (T#0 is the inference variable representiong <T> other # tokens denote inference variables from inner inference):

• invocation applicability inference succeeds with T#0 = Object.
• invocation type inference fails during the attempt to incorporate the following set of type bounds:

	TypeBound  T#0 <: java.lang.String
	TypeBound  T#1 :> java.lang.StackWalker.StackFrame
	Dependency (?)#4 = A#3
	Dependency (List<T#1>)#5 = R#2
	Dependency (List<T#1>)#5 = java.util.List<T#1>
	Dependency R#2 = java.util.List<T#1>
	Dependency R#2 <: T#0

We incorporate T#0 <: String and R#2 <: T#0 to R#2 <: String which is in conflict with the existing R#2 = List<T#1>, which corresponds to the observation that the List created by collect(Collectors.toList()) bubbles up to become the return type of the lambda's function type, and then the return type of walk(..). Hence walk(..) cannot be inferred against target type String.

Without "proof" I hold that the same is true also for Supplier<String>.

Fingers are pointing towards javac as the cause of the inconsistency.

I have a vague theory about javac's misreading: See that walk is specified as <T> T walk(Function<? super Stream<StackFrame>, ? extends T> function) . See the ? extends T part? Now, if <T> is inferred as Object (as ecj does), then -- String being a subtype of Object -- also a function returning String is permissible as the argument to walk. BUT even if the function returns String, the result of walk(..) is still T, which is Object. But perhaps this is were javac's known confusion about wildcards and their bounds could kick in - theory speaking.

[stephan-herrmann]

If I replace Logger with a class of my own, offering only the String variant of log() (thus short-circuiting overload resolution), then javac answers:

Test.java:7: error: incompatible types: inference variable T#1 has incompatible bounds
        new MyLogger().log(Level.DEBUG, walker.walk(s -> s.collect(Collectors.toList())));
                                                   ^
    upper bounds: String,Object
    lower bounds: List<T#2>,R
  where T#1,T#2,R,A,T#3 are type-variables:
    T#1 extends Object declared in method <T#1>walk(Function<? super Stream<StackFrame>,? extends T#1>)
    T#2 extends Object declared in method <T#2>toList()
    R extends Object declared in method <R,A>collect(Collector<? super T#3,A,R>)
    A extends Object declared in method <R,A>collect(Collector<? super T#3,A,R>)
    T#3 extends Object declared in interface Stream
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
1 error

Ergo: javac is able to recognize that this method is not compatible in the given context. Unfortunately, it doesn't detect this during overload resolution. I seem to recall that in some rare corner cases this may happen in accordance with JLS: overload resolution might have to work on incomplete information. But given that ecj is able to detect incompatibility well in time, I see no reason why javac fails here.

[stephan-herrmann]

Even during the current batch of inference fixes, this will have to wait, as we have the additional complexity of interaction between inference and overload resolution. Let's first get inference aligned with javac as best possible, before opening this additional can of worms.

[srikanth-sankaran]

Trace from #4838 - @stephan-herrmann if some portions are still opaque, I am happy to look into them if called out.

/home/srikanth/jdk/jdk/build/linux-x86_64-server-release/images/jdk/bin/java -agentlib:jdwp=transport=dt_socket,address=127.0.0.1:60459,suspend=y,server=n --enable-preview -Dfile.encoding=UTF-8 -Dsun.stdout.encoding=UTF-8 -Dsun.stderr.encoding=UTF-8 -classpath /home/srikanth/intellij/idea-IU-261.25134.95/lib/idea_rt.jar com.sun.tools.javac.Main -XDdebug.verboseResolution=inapplicable -g -cp /home/srikanth/tmp -XDdebug.dumpInferenceGraphsTo=/home/srikanth/tmp/javac-inference-trace /home/srikanth/tmp/X.java
Connected to the target VM, address: '127.0.0.1:60459', transport: 'socket'
« <?...> walk(...)»
« <?...> walk(...)»---------------- Inferring types for call to walk ----------------
« <?...> walk(...)»    Mode: Speculative
« <?...> walk(...)»    Phase: Strict Invocation
« <?...> walk(...)»    Method: <T> walk(java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»    Argument types: DeferredType
« <?...> walk(...)»    Invocation: walker.walk((s)->s.collect(java.util.stream.Collectors.toList()))
« <?...> walk(...)»--------------------------------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»
« <?...> walk(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after Invocation Applicability Inference (B2): <Ditto>
« <?...> walk(...)»
« <?...> walk(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»    Instantiated Method Type : (java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends java.lang.Object>)java.lang.Object
« <?...> walk(...)»-----------------------------------------------

« <?...> walk(...)»
« <?...> walk(...)»---------------- Inferring types for call to walk ----------------
« <?...> walk(...)»    Mode: Speculative
« <?...> walk(...)»    Phase: Strict Invocation
« <?...> walk(...)»    Method: <T> walk(java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»    Argument types: DeferredType
« <?...> walk(...)»    Invocation: walker.walk((s)->s.collect(java.util.stream.Collectors.toList()))
« <?...> walk(...)»--------------------------------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»
« <?...> walk(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after Invocation Applicability Inference (B2): <Ditto>
« <?...> walk(...)»
« <?...> walk(...)»        Partially inferred method type (no target type yet): (java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»

/home/srikanth/tmp/X.java:4: error: reference to log is ambiguous
        java.lang.System.getLogger("AnyLogger").log(java.lang.System.Logger.Level.DEBUG, walker.walk(s -> s.collect(java.util.stream.Collectors.toList())));
                                               ^
  both method log(Level,String) in Logger and method log(Level,Supplier<String>) in Logger match
« <?...> walk(...)»
« <?...> walk(...)»---------------- Inferring types for call to walk ----------------
« <?...> walk(...)»    Mode: Speculative
« <?...> walk(...)»    Phase: Strict Invocation
« <?...> walk(...)»    Method: <T> walk(java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»    Argument types: DeferredType
« <?...> walk(...)»    Invocation: walker.walk((s)->s.collect(java.util.stream.Collectors.toList()))
« <?...> walk(...)»--------------------------------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»
« <?...> walk(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after Invocation Applicability Inference (B2): <Ditto>
« <?...> walk(...)»
« <?...> walk(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»    Instantiated Method Type : (java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends java.lang.Object>)java.lang.Object
« <?...> walk(...)»-----------------------------------------------

« <?...> walk(...)»
« <?...> walk(...)»---------------- Inferring types for call to walk ----------------
« <?...> walk(...)»    Mode: Final
« <?...> walk(...)»    Phase: Strict Invocation
« <?...> walk(...)»    Method: <T> walk(java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»    Argument types: DeferredType
« <?...> walk(...)»    Invocation: walker.walk((s)->s.collect(java.util.stream.Collectors.toList()))
« <?...> walk(...)»--------------------------------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»
« <?...> walk(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> toList(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> toList(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»« <?...> toList(...)»    Instantiated Method Type : ()java.util.stream.Collector<java.lang.Object,?,java.util.List<java.lang.Object>>
« <?...> walk(...)»« <?...> toList(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> toList(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> toList(...)»        Partially inferred method type (no target type yet): ()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Inferring types for call to collect ----------------
« <?...> walk(...)»« <?...> collect(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> collect(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»    Method: <R,A> collect(java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)R
« <?...> walk(...)»« <?...> collect(...)»    Argument types: DeferredType
« <?...> walk(...)»« <?...> collect(...)»    Invocation: s.collect(java.util.stream.Collectors.toList())
« <?...> walk(...)»« <?...> collect(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Add bound  T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ T <= ? super java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ ? super java.lang.StackWalker.StackFrame >= T
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check partially inferred method type ()java.util.stream.Collector<T,?,java.util.List<T>> for invocation java.util.stream.Collectors.toList() against target type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check actual type DeferredType against formal type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»        Add bound  A = capture#517 of ?
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSameType(A,capture#517 of ?)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ A >= capture#517 of ?
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check partially inferred method type ()java.util.stream.Collector<T,?,java.util.List<T>> for invocation java.util.stream.Collectors.toList() against target type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check actual type DeferredType against formal type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»        Add bound  R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSameType(R,java.util.List<T>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ R >= java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#517 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check partially inferred method type ()java.util.stream.Collector<T,?,java.util.List<T>> for invocation java.util.stream.Collectors.toList() against target type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check actual type DeferredType against formal type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#517 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#517 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating T to be java.lang.StackWalker.StackFrame during inference step: LOWER
« <?...> walk(...)»« <?...> collect(...)»        Add bound  R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ (Substitute bounds from {T} to {java.lang.StackWalker.StackFrame})
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ Incorporation action SubstBounds[undet=T,t=java.lang.StackWalker.StackFrame,bound=EQ]
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#517 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#517 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: R
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating R to be java.util.List<java.lang.StackWalker.StackFrame> during inference step: EQ
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: capture#517 of ?
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating capture#517 of ? to be capture#935 of ? during inference step: CAPTURED
« <?...> walk(...)»« <?...> collect(...)»        Add bound  A = capture#935 of ?
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ (Substitute bounds from {capture#517 of ?} to {capture#935 of ?})
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ Incorporation action SubstBounds[undet=capture#517 of ?,t=capture#935 of ?,bound=EQ]
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#935 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#517 of ? kind = CAPTURED instantiation = capture#935 of ? 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: A
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating A to be capture#935 of ? during inference step: EQ
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A instantiation = capture#935 of ? 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#935 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#517 of ? kind = CAPTURED instantiation = capture#935 of ? 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»    Instantiated Method Type : (java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,capture#935 of ?,java.util.List<java.lang.StackWalker.StackFrame>>)java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Inferring types for call to collect ----------------
« <?...> walk(...)»« <?...> collect(...)»    Mode: Final
« <?...> walk(...)»« <?...> collect(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»    Method: <R,A> collect(java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)R
« <?...> walk(...)»« <?...> collect(...)»    Argument types: DeferredType
« <?...> walk(...)»« <?...> collect(...)»    Invocation: s.collect(java.util.stream.Collectors.toList())
« <?...> walk(...)»« <?...> collect(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Instantiated Method Type : ()java.util.stream.Collector<java.lang.Object,?,java.util.List<java.lang.Object>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Mode: Final
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Bound set after incorporation: <Ditto>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------------   Begin generate return constraints ---------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Add bound  T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ T <= ? super java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ ? super java.lang.StackWalker.StackFrame >= T
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Add bound  A = capture#188 of ?
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSameType(A,capture#188 of ?)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ A >= capture#188 of ?
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Add bound  R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSameType(R,java.util.List<T>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ R >= java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Bound set after generation of return constraints (B3):
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»Propagating inference context outwards:
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            A = capture#188 of ?
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»Method type at propagation point: ()java.util.stream.Collector<T,capture#188 of ?,java.util.List<T>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#188 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»    Bound set after incorporation: <Ditto>
« <?...> walk(...)»« <?...> collect(...)»---------------------   Begin generate return constraints ---------------------
« <?...> walk(...)»« <?...> collect(...)»        Add bound  T :> R
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ T :> R
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ R <: T
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(R,T)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isConvertible(R,T)
« <?...> walk(...)»« <?...> collect(...)»Propagating inference context outwards:
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> R
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#188 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»Method type at propagation point: (java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)R
« <?...> walk(...)»« <?...> collect(...)»-----------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#188 of ?
« <?...> walk(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»        Add bound  R <: T
« <?...> walk(...)»                   ⇐ Symmetric propagation
« <?...> walk(...)»                   ⇐ Incorporation action PropagateBounds[undet=T,t=R,bound=LOWER]
« <?...> walk(...)»        Add bound  T :> java.util.List<T>
« <?...> walk(...)»                   ⇐ T :> java.util.List<T>
« <?...> walk(...)»                   ⇐ java.util.List<T> <: T
« <?...> walk(...)»                   ⇐ isSubtypeUnchecked(java.util.List<T>,T)
« <?...> walk(...)»                   ⇐ Incorporation action CheckBounds[undet=R,t=T,bound=UPPER]
« <?...> walk(...)»
« <?...> walk(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.util.List<T>
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#188 of ?
« <?...> walk(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»    Bound set after incorporation: 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.util.List<T>
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#188 of ?
« <?...> walk(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»---------------------   Begin generate return constraints ---------------------
« <?...> walk(...)»        Add bound  T <: java.lang.String
« <?...> walk(...)»                   ⇐ T <: java.lang.String
« <?...> walk(...)»                   ⇐ isSubtypeUnchecked(T,java.lang.String)
« <?...> walk(...)»                   ⇐ compatible(T,java.lang.String)
« <?...> walk(...)»---------------- Bound set after generation of return constraints (B3):
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T <: java.lang.String
« <?...> walk(...)»            T :> java.util.List<T>
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#188 of ?
« <?...> walk(...)»        Inference variable = capture#188 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»
« <?...> walk(...)»**** ---- INFERENCE FAILURE:  ---- ****
« <?...> walk(...)»          inference variable T has incompatible bounds
« <?...> walk(...)»            upper bounds: java.lang.String,java.lang.Object
« <?...> walk(...)»            lower bounds: java.util.List<T>,R

« <?...> walk(...)»
« <?...> walk(...)»---------------- Inferring types for call to walk ----------------
« <?...> walk(...)»    Mode: Speculative
« <?...> walk(...)»    Phase: Strict Invocation
« <?...> walk(...)»    Method: <T> walk(java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»    Argument types: DeferredType
« <?...> walk(...)»    Invocation: walker.walk((s)->s.collect(java.util.stream.Collectors.toList()))
« <?...> walk(...)»--------------------------------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»
« <?...> walk(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after Invocation Applicability Inference (B2): <Ditto>
« <?...> walk(...)»
« <?...> walk(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»    Instantiated Method Type : (java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends java.lang.Object>)java.lang.Object
« <?...> walk(...)»-----------------------------------------------

« <?...> walk(...)»
« <?...> walk(...)»---------------- Inferring types for call to walk ----------------
« <?...> walk(...)»    Mode: Final
« <?...> walk(...)»    Phase: Strict Invocation
« <?...> walk(...)»    Method: <T> walk(java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends T>)T
« <?...> walk(...)»    Argument types: DeferredType
« <?...> walk(...)»    Invocation: walker.walk((s)->s.collect(java.util.stream.Collectors.toList()))
« <?...> walk(...)»--------------------------------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»
« <?...> walk(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> toList(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> toList(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»« <?...> toList(...)»    Instantiated Method Type : ()java.util.stream.Collector<java.lang.Object,?,java.util.List<java.lang.Object>>
« <?...> walk(...)»« <?...> toList(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> toList(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> toList(...)»        Partially inferred method type (no target type yet): ()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Inferring types for call to collect ----------------
« <?...> walk(...)»« <?...> collect(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> collect(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»    Method: <R,A> collect(java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)R
« <?...> walk(...)»« <?...> collect(...)»    Argument types: DeferredType
« <?...> walk(...)»« <?...> collect(...)»    Invocation: s.collect(java.util.stream.Collectors.toList())
« <?...> walk(...)»« <?...> collect(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Add bound  T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ T <= ? super java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ ? super java.lang.StackWalker.StackFrame >= T
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check partially inferred method type ()java.util.stream.Collector<T,?,java.util.List<T>> for invocation java.util.stream.Collectors.toList() against target type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check actual type DeferredType against formal type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»        Add bound  A = capture#672 of ?
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSameType(A,capture#672 of ?)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ A >= capture#672 of ?
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check partially inferred method type ()java.util.stream.Collector<T,?,java.util.List<T>> for invocation java.util.stream.Collectors.toList() against target type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check actual type DeferredType against formal type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»        Add bound  R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSameType(R,java.util.List<T>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ R >= java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#672 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check partially inferred method type ()java.util.stream.Collector<T,?,java.util.List<T>> for invocation java.util.stream.Collectors.toList() against target type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ check actual type DeferredType against formal type java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#672 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#672 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating T to be java.lang.StackWalker.StackFrame during inference step: LOWER
« <?...> walk(...)»« <?...> collect(...)»        Add bound  R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ (Substitute bounds from {T} to {java.lang.StackWalker.StackFrame})
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ Incorporation action SubstBounds[undet=T,t=java.lang.StackWalker.StackFrame,bound=EQ]
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#672 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#672 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: R
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating R to be java.util.List<java.lang.StackWalker.StackFrame> during inference step: EQ
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: capture#672 of ?
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating capture#672 of ? to be capture#132 of ? during inference step: CAPTURED
« <?...> walk(...)»« <?...> collect(...)»        Add bound  A = capture#132 of ?
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ (Substitute bounds from {capture#672 of ?} to {capture#132 of ?})
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ Incorporation action SubstBounds[undet=capture#672 of ?,t=capture#132 of ?,bound=EQ]
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#132 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#672 of ? kind = CAPTURED instantiation = capture#132 of ? 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------  Inference variables to be solved: A
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»**** Instantiating A to be capture#132 of ? during inference step: EQ
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A instantiation = capture#132 of ? 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#132 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#672 of ? kind = CAPTURED instantiation = capture#132 of ? 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»    Instantiated Method Type : (java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,capture#132 of ?,java.util.List<java.lang.StackWalker.StackFrame>>)java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»« <?...> collect(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Inferring types for call to collect ----------------
« <?...> walk(...)»« <?...> collect(...)»    Mode: Final
« <?...> walk(...)»« <?...> collect(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»    Method: <R,A> collect(java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)R
« <?...> walk(...)»« <?...> collect(...)»    Argument types: DeferredType
« <?...> walk(...)»« <?...> collect(...)»    Invocation: s.collect(java.util.stream.Collectors.toList())
« <?...> walk(...)»« <?...> collect(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Mode: Speculative
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»**** Instantiating T to be java.lang.Object during inference step: UPPER
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Instantiated Method Type : ()java.util.stream.Collector<java.lang.Object,?,java.util.List<java.lang.Object>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Inferring types for call to toList ----------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Mode: Final
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Phase: Strict Invocation
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Method: <T> toList()java.util.stream.Collector<T,?,java.util.List<T>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Argument types: <NONE>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Invocation: java.util.stream.Collectors.toList()
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»--------------------------------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»    Bound set after incorporation: <Ditto>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------------   Begin generate return constraints ---------------------
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Add bound  T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ T <= ? super java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ ? super java.lang.StackWalker.StackFrame >= T
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Add bound  A = capture#779 of ?
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSameType(A,capture#779 of ?)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ A >= capture#779 of ?
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Add bound  R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSameType(R,java.util.List<T>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ R >= java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>> <: java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ isSubtypeUnchecked(java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»                   ⇐ compatible(java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>,java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»---------------- Bound set after generation of return constraints (B3):
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»Propagating inference context outwards:
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            A = capture#779 of ?
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»Method type at propagation point: ()java.util.stream.Collector<T,capture#779 of ?,java.util.List<T>>
« <?...> walk(...)»« <?...> collect(...)»« <?...> toList(...)»-----------------------------------------------
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#779 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»
« <?...> walk(...)»« <?...> collect(...)»    Bound set after incorporation: <Ditto>
« <?...> walk(...)»« <?...> collect(...)»---------------------   Begin generate return constraints ---------------------
« <?...> walk(...)»« <?...> collect(...)»        Add bound  T :> R
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ T :> R
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ R <: T
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isSubtypeUnchecked(R,T)
« <?...> walk(...)»« <?...> collect(...)»                   ⇐ isConvertible(R,T)
« <?...> walk(...)»« <?...> collect(...)»Propagating inference context outwards:
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> R
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = R 
« <?...> walk(...)»« <?...> collect(...)»            R = java.util.List<T>
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = A 
« <?...> walk(...)»« <?...> collect(...)»            A = capture#779 of ?
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»« <?...> collect(...)»        Inference variable = T 
« <?...> walk(...)»« <?...> collect(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»« <?...> collect(...)»Method type at propagation point: (java.util.stream.Collector<? super java.lang.StackWalker.StackFrame,A,R>)R
« <?...> walk(...)»« <?...> collect(...)»-----------------------------------------------
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#779 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»        Add bound  R <: T
« <?...> walk(...)»                   ⇐ Symmetric propagation
« <?...> walk(...)»                   ⇐ Incorporation action PropagateBounds[undet=T,t=R,bound=LOWER]
« <?...> walk(...)»        Add bound  T :> java.util.List<T>
« <?...> walk(...)»                   ⇐ T :> java.util.List<T>
« <?...> walk(...)»                   ⇐ java.util.List<T> <: T
« <?...> walk(...)»                   ⇐ isSubtypeUnchecked(java.util.List<T>,T)
« <?...> walk(...)»                   ⇐ Incorporation action CheckBounds[undet=R,t=T,bound=UPPER]
« <?...> walk(...)»
« <?...> walk(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.util.List<T>
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#779 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»    Bound set after incorporation: 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.util.List<T>
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<T>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#779 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»---------------------   Begin generate return constraints ---------------------
« <?...> walk(...)»---------------------  Proceeding to solve ------
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: T
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating T to be java.lang.StackWalker.StackFrame during inference step: LOWER
« <?...> walk(...)»        Add bound  T :> java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»                   ⇐ (Substitute bounds from {T} to {java.lang.StackWalker.StackFrame})
« <?...> walk(...)»                   ⇐ Incorporation action SubstBounds[undet=T,t=java.lang.StackWalker.StackFrame,bound=EQ]
« <?...> walk(...)»        Add bound  R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»                   ⇐ (Substitute bounds from {T} to {java.lang.StackWalker.StackFrame})
« <?...> walk(...)»                   ⇐ Incorporation action SubstBounds[undet=T,t=java.lang.StackWalker.StackFrame,bound=EQ]
« <?...> walk(...)»
« <?...> walk(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»            T :> R
« <?...> walk(...)»        Inference variable = R 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#779 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: R,T
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating R to be java.util.List<java.lang.StackWalker.StackFrame> during inference step: EQ
« <?...> walk(...)»
« <?...> walk(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T 
« <?...> walk(...)»            T :> java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            R <: T
« <?...> walk(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#779 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating T to be java.util.List<java.lang.StackWalker.StackFrame> during inference step: LOWER
« <?...> walk(...)»        Add bound  R <: java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»                   ⇐ (Substitute bounds from {T} to {java.util.List<java.lang.StackWalker.StackFrame>})
« <?...> walk(...)»                   ⇐ Incorporation action SubstBounds[undet=T,t=java.util.List<java.lang.StackWalker.StackFrame>,bound=EQ]
« <?...> walk(...)»
« <?...> walk(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            T :> java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            R <: java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#779 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED 
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: capture#779 of ?
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating capture#779 of ? to be capture#712 of ? during inference step: CAPTURED
« <?...> walk(...)»        Add bound  A = capture#712 of ?
« <?...> walk(...)»                   ⇐ (Substitute bounds from {capture#779 of ?} to {capture#712 of ?})
« <?...> walk(...)»                   ⇐ Incorporation action SubstBounds[undet=capture#779 of ?,t=capture#712 of ?,bound=EQ]
« <?...> walk(...)»
« <?...> walk(...)»--------------------   Bound set after a round of incorporation  -------------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            T :> java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            R <: java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = A 
« <?...> walk(...)»            A = capture#712 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED instantiation = capture#712 of ? 
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»
« <?...> walk(...)»-------------  Inference variables to be solved: A
« <?...> walk(...)»
« <?...> walk(...)»-------------   Performing graph inference step EQ ----------
« <?...> walk(...)»
« <?...> walk(...)»**** Instantiating A to be capture#712 of ? during inference step: EQ
« <?...> walk(...)»
« <?...> walk(...)»---------------- Bound set after resolution -------
« <?...> walk(...)»
« <?...> walk(...)»        Inference variable = T instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            T :> java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = R instantiation = java.util.List<java.lang.StackWalker.StackFrame> 
« <?...> walk(...)»            R <: java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»            R = java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»        Inference variable = A instantiation = capture#712 of ? 
« <?...> walk(...)»            A = capture#712 of ?
« <?...> walk(...)»        Inference variable = capture#779 of ? kind = CAPTURED instantiation = capture#712 of ? 
« <?...> walk(...)»        Inference variable = T instantiation = java.lang.StackWalker.StackFrame 
« <?...> walk(...)»            T :> java.lang.StackWalker.StackFrame
« <?...> walk(...)»    Instantiated Method Type : (java.util.function.Function<? super java.util.stream.Stream<java.lang.StackWalker.StackFrame>,? extends java.util.List<java.lang.StackWalker.StackFrame>>)java.util.List<java.lang.StackWalker.StackFrame>
« <?...> walk(...)»-----------------------------------------------

/home/srikanth/tmp/X.java:4: error: incompatible types: inference variable T#1 has incompatible bounds
        java.lang.System.getLogger("AnyLogger").log(java.lang.System.Logger.Level.DEBUG, walker.walk(s -> s.collect(java.util.stream.Collectors.toList())));
                                                                                                    ^
    upper bounds: String,Object
    lower bounds: List<T#2>,R
  where T#1,T#2,R,A,T#3 are type-variables:
    T#1 extends Object declared in method <T#1>walk(Function<? super Stream<StackFrame>,? extends T#1>)
    T#2 extends Object declared in method <T#2>toList()
    R extends Object declared in method <R,A>collect(Collector<? super T#3,A,R>)
    A extends Object declared in method <R,A>collect(Collector<? super T#3,A,R>)
    T#3 extends Object declared in interface Stream
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
2 errors
Disconnected from the target VM, address: '127.0.0.1:60459', transport: 'socket'

Process finished with exit code 1