Method call with wildcard generic parameter fails to compile

[alexcormier]

Given a couple generic types:

class A<T> {}
class B<T> {}

And some generic methods with wildcards:

public interface Test {
   <T> B<T> b(T t);
   <T> B<A<? super T>> bOfA(B<? super T> t);
   <T> void errors(T t, B<? super T> m);

   default void test(A<String> a) {
      errors(a, bOfA(b(a)));
   }
}

This compiles with javac, but ECJ fails to compile with:

The method errors(T, B<? super T>) in the type Test is not applicable for the arguments (A<capture#1-of ?>, B<A<? super A<capture#2-of ?>>>)

This used to work fine. When we encountered #2817, we stuck to an older version until that was fixed, and then when updating after the fix we encountered this new issue. So it seems like the two issues might be related, the setup is similar too.

[stephan-herrmann]

This compiles with javac, but ECJ fails to compile with:

The method errors(T, B<? super T>) in the type Test is not applicable for the arguments (A<capture#1-of ?>, B<A<? super A<capture#2-of ?>>>)

I was very curious where the first capture would come from, but indeed I see this error:

The method errors(T, B<? super T>) in the type Test is not applicable for the arguments (A<String>, B<A<? super A<String>>>)\n

[stephan-herrmann]

Inference fails when trying to instantiate inference variable T#1 having these upper bounds:

• java.lang.String
• A<java.lang.String>

This clearly is unsolvable.

Let's see if there is anything suspicious on the path towards creating these two bounds.

[alexcormier]

I was very curious where the first capture would come from

Oops, I pasted the wrong error message; sorry!
I used test(A<?> a) for a bit while reducing the example – that's where the captures came from – but then I got rid of that wildcard and forgot to update the error message.

[stephan-herrmann]

First let's give distinguishable names:

			class A<S> {}
			class B<T> {}
			public interface Test {
			   <U> B<U> b(U t);
			   <V> B<A<? super V>> bOfA(B<? super V> t);
			   <W> void errors(W t, B<? super W> m);

			   default void test(A<String> a) {
			      errors(a, bOfA(b(a)));
			   }
			}

• Now innermost inference (for b(a)) gives:
  • TypeBound U#0 :> A<String>
• Inferring applicability of bOfA(..) produces
  • TypeBound U#0 :> A<String>
  • Dependency V#1 <: U#0

Outer inference for error(..) starts with

Initial Constraints:
	⟨a → W#2⟩
	⟨bOfA(b(a)) → B<? super W#2>⟩

Reduction:

• ⟨a → W#2⟩
  • ⟨A<String> → W#2⟩
    • ⟨A<String> <: W#2⟩
      • TypeBound W#2 :> A<String>
• ⟨bOfA(b(a)) → B<? super W#2>⟩
  • integrates bounds from inner inference to result in
    • TypeBound W#2 :> A<String>
    • TypeBound U#0 :> A<String>
    • Dependency V#1 <: U#0
  • ⟨B<A<? super V#1>> → B<? super W#2>⟩
    • ⟨B<A<? super V#1>> <: B<? super W#2>⟩
      • ⟨A<? super V#1> <= ? super W#2⟩
        • ⟨W#2 <: A<? super V#1>⟩
          • Dependency W#2 <: A<? super V#1>

At this point we have

	TypeBound  W#2 :> A<String>
	Dependency W#2 <: A<? super V#1>
	TypeBound  U#0 :> A<String>
	Dependency V#1 <: U#0

Incorporation:

• W#2 :> A<String> & W#2 <: A<? super V#1>
  • ⟨A<String> <: A<? super V#1>⟩
    • ⟨String <= ? super V#1⟩
      • ⟨V#1 <: String⟩
        • V#1 <: String
• W#2 <: A<? super V#1> & W#2 :> A<String>
  • ⟨A<String> <: A<? super V#1>⟩
    • duplicate of previous

Incorporation result:

	TypeBound  W#2 :> A<String>
	Dependency W#2 <: A<? super V#1>
	TypeBound  U#0 :> A<String>
	Dependency V#1 <: U#0
	TypeBound  V#1 <: String

Resolve:

• TypeBound U#0 = A<String> -- from lub
  • incorporate
    • ⟨V#1 <: A<String>⟩
      • TypeBound V#1 <: A<String>
    • ⟨V#1 <: A<String>⟩
• V#1 has upper bounds:
  • String
  • A<String>
  • glb is an impossible intersection => FAIL

So let me go over these steps if there is anything suspicous. So far nothing found.

[stephan-herrmann]

This variant demonstrates that a solution exists (with U = Object):

class A<S> {}
class B<T> {}
public abstract class Test {
	abstract <U> B<U> b(U t);
	abstract <V> B<A<? super V>> bOfA(B<? super V> t);
	abstract <W> void errors(W t, B<? super W> m);

	void test(A<String> a) {
		errors(a, bOfA(this.<Object>b(a)));
	}
}

Does inference have the rules to find this solution?

[stephan-herrmann]

Perhaps resolution should have picked a different order: first resolve V#1 to String, then U#0 to Object?

[stephan-herrmann]

With current output from #4838 we see equal bound sets:
javac:

Bound set after resolution: 
W <: A<? super V>
W :> A<java.lang.String>
V <: java.lang.String
U :> V
U :> A<java.lang.String>

ecj (see above but sorted to match javac):

Dependency W#2 <: A<? super V#1>
TypeBound  W#2 :> A<String>
TypeBound  V#1 <: String
Dependency V#1 <: U#0
TypeBound  U#0 :> A<String>

So the difference seems to happen during resolution, likely a matter of ivar ordering indeed.

[srikanth-sankaran]

Latest tracing from #4838 produces this output:

Note on the notation:

A line beginning with « <?...> b(...)» means rest of line was trace gathered while inferring the type variables for the method call b. If you want to see the invocation arguments these are the in the header for that call's trace log. e.g Invocation: b(a)

A prefix of « <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)» would mean, rest of line was trace gathered while inferring the type variables for the method call b which is nested under bOfA which is nested under errors

I think this should visually distinguish entering and leaving nested generic method invocations.

/home/srikanth/jdk/jdk/build/linux-x86_64-server-release/images/jdk/bin/java --enable-preview -javaagent:/home/srikanth/intellij/idea-IU-261.25134.95/lib/idea_rt.jar=45105 -Dfile.encoding=UTF-8 -Dsun.stdout.encoding=UTF-8 -Dsun.stderr.encoding=UTF-8 com.sun.tools.javac.Main -g -cp /home/srikanth/tmp -XDdebug.dumpInferenceGraphsTo=/home/srikanth/tmp/javac-inference-trace /home/srikanth/tmp/X.java
« <?...> b(...)»
« <?...> b(...)»---------------- Inferring types for call to b ----------------
« <?...> b(...)»    Mode: Speculative
« <?...> b(...)»    Phase: Strict Invocation
« <?...> b(...)»    Method: <T> b(T)B<T>
« <?...> b(...)»    Argument types: A<java.lang.String>
« <?...> b(...)»    Invocation: b(a)
« <?...> b(...)»--------------------------------------------------------------------
« <?...> b(...)»
« <?...> b(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> b(...)»    Inference variable = T 
« <?...> b(...)»
« <?...> b(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> b(...)»    isSubtypeUnchecked(A<java.lang.String>,T?)?
« <?...> b(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  isSuperType(T?,A<java.lang.String>)?
« <?...> b(...)»
« <?...> b(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> b(...)»        Inference variable = T 
« <?...> b(...)»            T :> A<java.lang.String>
« <?...> b(...)»-------------  Inference variables to be solved: T
« <?...> b(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> b(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> b(...)»
« <?...> b(...)»---------------- Bound set after resolution: 
« <?...> b(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> b(...)»            T :> A<java.lang.String>
« <?...> b(...)»    Instantiated Method Type : (A<java.lang.String>)B<A<java.lang.String>>
« <?...> b(...)»-----------------------------------------------
« <?...> b(...)»    isSubtypeUnchecked(A<java.lang.String>,A<java.lang.String>)?

« <?...> b(...)»
« <?...> b(...)»---------------- Inferring types for call to b ----------------
« <?...> b(...)»    Mode: Speculative
« <?...> b(...)»    Phase: Strict Invocation
« <?...> b(...)»    Method: <T> b(T)B<T>
« <?...> b(...)»    Argument types: A<java.lang.String>
« <?...> b(...)»    Invocation: b(a)
« <?...> b(...)»--------------------------------------------------------------------
« <?...> b(...)»
« <?...> b(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> b(...)»    Inference variable = T 
« <?...> b(...)»
« <?...> b(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> b(...)»    isSubtypeUnchecked(A<java.lang.String>,T?)?
« <?...> b(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  isSuperType(T?,A<java.lang.String>)?
« <?...> b(...)»
« <?...> b(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> b(...)»        Inference variable = T 
« <?...> b(...)»            T :> A<java.lang.String>

« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Inferring types for call to bOfA ----------------
« <?...> bOfA(...)»    Mode: Speculative
« <?...> bOfA(...)»    Phase: Strict Invocation
« <?...> bOfA(...)»    Method: <T> bOfA(B<? super T>)B<A<? super T>>
« <?...> bOfA(...)»    Argument types: DeferredType
« <?...> bOfA(...)»    Invocation: bOfA(b(a))
« <?...> bOfA(...)»--------------------------------------------------------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> bOfA(...)»    Inference variable = T 
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»    isAssignable(B<T?>,B<? super T?>)?
« <?...> bOfA(...)»    isSubtypeUnchecked(B<T?>,B<? super T?>)?
« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  isContainedBy(T?,? super T?)?
« <?...> bOfA(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»            T :> T
« <?...> bOfA(...)»        Add bound     T <: T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=LOWER]
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»------ Incorporation action PropagateBounds[undet=T,t=T,bound=LOWER] ------
« <?...> bOfA(...)»    Bound set now 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T <: T
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»            T :> T
« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=UPPER]
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> bOfA(...)»-------------  Inference variables to be solved: T,T
« <?...> bOfA(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> bOfA(...)»        Add bound     T <: A<java.lang.String> induced by operation/check:  (Substitute bounds from {T} to {A<java.lang.String>})
« <?...> bOfA(...)»        Add bound     T <: A<java.lang.String> induced by operation/check:  isSubtype(T?,A<java.lang.String>)
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»------ Incorporation action SubstBounds[undet=T,t=A<java.lang.String>,bound=EQ] ------
« <?...> bOfA(...)»    Bound set now 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T <: A<java.lang.String>
« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»            T :> T
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> bOfA(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  (Substitute bounds from {T} to {A<java.lang.String>})
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»------ Incorporation action SubstBounds[undet=T,t=A<java.lang.String>,bound=EQ] ------
« <?...> bOfA(...)»    Bound set now 
« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> bOfA(...)»            T <: A<java.lang.String>
« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Bound set after resolution: 
« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> bOfA(...)»            T <: A<java.lang.String>
« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»    Instantiated Method Type : (B<? super A<java.lang.String>>)B<A<? super A<java.lang.String>>>
« <?...> bOfA(...)»-----------------------------------------------

« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Inferring types for call to bOfA ----------------
« <?...> bOfA(...)»    Mode: Speculative
« <?...> bOfA(...)»    Phase: Strict Invocation
« <?...> bOfA(...)»    Method: <T> bOfA(B<? super T>)B<A<? super T>>
« <?...> bOfA(...)»    Argument types: DeferredType
« <?...> bOfA(...)»    Invocation: bOfA(b(a))
« <?...> bOfA(...)»--------------------------------------------------------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> bOfA(...)»    Inference variable = T 
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»    isAssignable(B<T?>,B<? super T?>)?
« <?...> bOfA(...)»    isSubtypeUnchecked(B<T?>,B<? super T?>)?
« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  isContainedBy(T?,? super T?)?
« <?...> bOfA(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»            T :> T
« <?...> bOfA(...)»        Add bound     T <: T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=LOWER]
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> bOfA(...)»
« <?...> bOfA(...)»------ Incorporation action PropagateBounds[undet=T,t=T,bound=LOWER] ------
« <?...> bOfA(...)»    Bound set now 
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T <: T
« <?...> bOfA(...)»        Inference variable = T 
« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> bOfA(...)»            T :> T
« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=UPPER]
« <?...> bOfA(...)»
« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------

« <?...> errors(...)»
« <?...> errors(...)»---------------- Inferring types for call to errors ----------------
« <?...> errors(...)»    Mode: Speculative
« <?...> errors(...)»    Phase: Strict Invocation
« <?...> errors(...)»    Method: <T> errors(T,B<? super T>)void
« <?...> errors(...)»    Argument types: A<java.lang.String>,DeferredType
« <?...> errors(...)»    Invocation: errors(a, bOfA(b(a)))
« <?...> errors(...)»--------------------------------------------------------------------
« <?...> errors(...)»
« <?...> errors(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> errors(...)»    Inference variable = T 
« <?...> errors(...)»
« <?...> errors(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> errors(...)»    isSubtypeUnchecked(A<java.lang.String>,T?)?
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  isSuperType(T?,A<java.lang.String>)?
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»    isAssignable(B<A<? super T?>>,B<? super T?>)?
« <?...> errors(...)»    isSubtypeUnchecked(B<A<? super T?>>,B<? super T?>)?
« <?...> errors(...)»        Add bound     T <: A<? super T?> induced by operation/check:  isSubtype(T?,A<? super T?>)
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»
« <?...> errors(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: T
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check:  isSubtype(T?,java.lang.String)
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»
« <?...> errors(...)»------ Incorporation action CheckBounds[undet=T,t=A<java.lang.String>,bound=LOWER] ------
« <?...> errors(...)»    Bound set now 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»            T <: T
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»-------------  Inference variables to be solved: T,T
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»        Add bound     T <: A<java.lang.String> induced by operation/check:  (Substitute bounds from {T} to {A<java.lang.String>})
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto A<java.lang.String>)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto A<java.lang.String>)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check:  (Substitute bounds from {T} to {T})
« <?...> errors(...)»        Add bound     T :> T induced by operation/check:  (Substitute bounds from {T} to {T})
« <?...> errors(...)»        Add bound     T :> T induced by operation/check:  isSuperType(java.lang.Object,T)?
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»
« <?...> errors(...)»------ Incorporation action SubstBounds[undet=T,t=java.lang.Object,bound=EQ] ------
« <?...> errors(...)»    Bound set now 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T instantiation = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»-------------  Inference variables to be solved: T
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check: (dup of T onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of java.lang.Object onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of java.lang.Object onto T?)
« <?...> errors(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»
« <?...> errors(...)»---------------- Bound set after resolution: 
« <?...> errors(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T instantiation = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»    Instantiated Method Type : (A<java.lang.String>,B<? super A<java.lang.String>>)void
« <?...> errors(...)»-----------------------------------------------
« <?...> errors(...)»    isSubtypeUnchecked(A<java.lang.String>,A<java.lang.String>)?

« <?...> errors(...)»
« <?...> errors(...)»---------------- Inferring types for call to errors ----------------
« <?...> errors(...)»    Mode: Final
« <?...> errors(...)»    Phase: Strict Invocation
« <?...> errors(...)»    Method: <T> errors(T,B<? super T>)void
« <?...> errors(...)»    Argument types: A<java.lang.String>,DeferredType
« <?...> errors(...)»    Invocation: errors(a, bOfA(b(a)))
« <?...> errors(...)»--------------------------------------------------------------------
« <?...> errors(...)»
« <?...> errors(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> errors(...)»    Inference variable = T 
« <?...> errors(...)»
« <?...> errors(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> errors(...)»    isSubtypeUnchecked(A<java.lang.String>,T?)?
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  isSuperType(T?,A<java.lang.String>)?
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Inferring types for call to bOfA ----------------
« <?...> errors(...)»« <?...> bOfA(...)»    Mode: Speculative
« <?...> errors(...)»« <?...> bOfA(...)»    Phase: Strict Invocation
« <?...> errors(...)»« <?...> bOfA(...)»    Method: <T> bOfA(B<? super T>)B<A<? super T>>
« <?...> errors(...)»« <?...> bOfA(...)»    Argument types: DeferredType
« <?...> errors(...)»« <?...> bOfA(...)»    Invocation: bOfA(b(a))
« <?...> errors(...)»« <?...> bOfA(...)»--------------------------------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> errors(...)»« <?...> bOfA(...)»    Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»    isAssignable(B<T?>,B<? super T?>)?
« <?...> errors(...)»« <?...> bOfA(...)»    isSubtypeUnchecked(B<T?>,B<? super T?>)?
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  isContainedBy(T?,? super T?)?
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T <: T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=LOWER]
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»------ Incorporation action PropagateBounds[undet=T,t=T,bound=LOWER] ------
« <?...> errors(...)»« <?...> bOfA(...)»    Bound set now 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: T
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=UPPER]
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»-------------  Inference variables to be solved: T,T
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T <: A<java.lang.String> induced by operation/check:  (Substitute bounds from {T} to {A<java.lang.String>})
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T <: A<java.lang.String> induced by operation/check:  isSubtype(T?,A<java.lang.String>)
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»------ Incorporation action SubstBounds[undet=T,t=A<java.lang.String>,bound=EQ] ------
« <?...> errors(...)»« <?...> bOfA(...)»    Bound set now 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»-------------   Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED ----------
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  (Substitute bounds from {T} to {A<java.lang.String>})
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»------ Incorporation action SubstBounds[undet=T,t=A<java.lang.String>,bound=EQ] ------
« <?...> errors(...)»« <?...> bOfA(...)»    Bound set now 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Bound set after resolution: 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»    Instantiated Method Type : (B<? super A<java.lang.String>>)B<A<? super A<java.lang.String>>>
« <?...> errors(...)»« <?...> bOfA(...)»-----------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Inferring types for call to bOfA ----------------
« <?...> errors(...)»« <?...> bOfA(...)»    Mode: Final
« <?...> errors(...)»« <?...> bOfA(...)»    Phase: Strict Invocation
« <?...> errors(...)»« <?...> bOfA(...)»    Method: <T> bOfA(B<? super T>)B<A<? super T>>
« <?...> errors(...)»« <?...> bOfA(...)»    Argument types: DeferredType
« <?...> errors(...)»« <?...> bOfA(...)»    Invocation: bOfA(b(a))
« <?...> errors(...)»« <?...> bOfA(...)»--------------------------------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> errors(...)»« <?...> bOfA(...)»    Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Inferring types for call to b ----------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Mode: Speculative
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Phase: Strict Invocation
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Method: <T> b(T)B<T>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Argument types: A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Invocation: b(a)
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»--------------------------------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    isSubtypeUnchecked(A<java.lang.String>,T?)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  isSuperType(T?,A<java.lang.String>)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»-------------  Inference variables to be solved: T
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Bound set after resolution: 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Instantiated Method Type : (A<java.lang.String>)B<A<java.lang.String>>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»-----------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    isSubtypeUnchecked(A<java.lang.String>,A<java.lang.String>)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Inferring types for call to b ----------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Mode: Final
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Phase: Strict Invocation
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Method: <T> b(T)B<T>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Argument types: A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Invocation: b(a)
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»--------------------------------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Initial Bound Set (B0): ---------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Begin Invocation Applicability Inference ---------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    isSubtypeUnchecked(A<java.lang.String>,T?)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Add bound     T :> A<java.lang.String> induced by operation/check:  isSuperType(T?,A<java.lang.String>)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    Bound set after incorporation: <Ditto>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------------   Begin generate return constraints ---------------------
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    isAssignable(B<T?>,B<? super T?>)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»    isSubtypeUnchecked(B<T?>,B<? super T?>)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Add bound     T :> T? induced by operation/check:  isContainedBy(T?,? super T?)?
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»---------------- Bound set after generation of return constraints (B3):
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»Propagating inference context outwards:
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»Method type at propagation point: (T)B<T>
« <?...> errors(...)»« <?...> bOfA(...)»« <?...> b(...)»-----------------------------------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T <: T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=LOWER]
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»------ Incorporation action PropagateBounds[undet=T,t=T,bound=LOWER] ------
« <?...> errors(...)»« <?...> bOfA(...)»    Bound set now 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: T
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T :> T? induced by operation/check:  (symmetric propagation: PropagateBounds[undet=T,t=T,bound=UPPER]
« <?...> errors(...)»« <?...> bOfA(...)»
« <?...> errors(...)»« <?...> bOfA(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»« <?...> bOfA(...)»    Bound set after incorporation: 
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: T
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»---------------------   Begin generate return constraints ---------------------
« <?...> errors(...)»« <?...> bOfA(...)»    isAssignable(B<A<? super T?>>,B<? super T?>)?
« <?...> errors(...)»« <?...> bOfA(...)»    isSubtypeUnchecked(B<A<? super T?>>,B<? super T?>)?
« <?...> errors(...)»« <?...> bOfA(...)»        Add bound     T <: A<? super T?> induced by operation/check:  isSubtype(T?,A<? super T?>)
« <?...> errors(...)»« <?...> bOfA(...)»Propagating inference context outwards:
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: A<? super T>
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T <: T
« <?...> errors(...)»« <?...> bOfA(...)»        Inference variable = T 
« <?...> errors(...)»« <?...> bOfA(...)»            T :> T
« <?...> errors(...)»« <?...> bOfA(...)»            T :> A<java.lang.String>
« <?...> errors(...)»« <?...> bOfA(...)»Method type at propagation point: (B<? super T>)B<A<? super T>>
« <?...> errors(...)»« <?...> bOfA(...)»-----------------------------------------------
« <?...> errors(...)»
« <?...> errors(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: T
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check:  isSubtype(T?,java.lang.String)
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»
« <?...> errors(...)»------ Incorporation action CheckBounds[undet=T,t=A<java.lang.String>,bound=LOWER] ------
« <?...> errors(...)»    Bound set now 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»            T <: T
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»    Bound set after incorporation: 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»            T <: T
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»---------------------   Begin generate return constraints ---------------------
« <?...> errors(...)»    isAssignable(void,void)?
« <?...> errors(...)»-------------  Inference variables to be solved: T,T
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»        Add bound     T <: A<java.lang.String> induced by operation/check:  (Substitute bounds from {T} to {A<java.lang.String>})
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: T induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto A<java.lang.String>)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of T? onto A<java.lang.String>)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check:  (Substitute bounds from {T} to {T})
« <?...> errors(...)»        Add bound     T :> T induced by operation/check:  (Substitute bounds from {T} to {T})
« <?...> errors(...)»        Add bound     T :> T induced by operation/check:  isSuperType(java.lang.Object,T)?
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»
« <?...> errors(...)»------ Incorporation action SubstBounds[undet=T,t=java.lang.Object,bound=EQ] ------
« <?...> errors(...)»    Bound set now 
« <?...> errors(...)»        Inference variable = T 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T instantiation = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»-------------  Inference variables to be solved: T
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: A<? super T> induced by operation/check: (dup of T? onto T?)
« <?...> errors(...)»        Add bound     T <: java.lang.String induced by operation/check: (dup of T onto T?)
« <?...> errors(...)»        Add bound     T :> T induced by operation/check: (dup of java.lang.Object onto T?)
« <?...> errors(...)»        Add bound     T :> A<java.lang.String> induced by operation/check: (dup of java.lang.Object onto T?)
« <?...> errors(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»
« <?...> errors(...)»---------------- Bound set after resolution: 
« <?...> errors(...)»        Inference variable = T instantiation = A<java.lang.String> 
« <?...> errors(...)»            T <: A<? super T>
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = T instantiation = T 
« <?...> errors(...)»            T <: java.lang.String
« <?...> errors(...)»        Inference variable = T instantiation = java.lang.Object 
« <?...> errors(...)»            T :> T
« <?...> errors(...)»            T :> A<java.lang.String>
« <?...> errors(...)»    Instantiated Method Type : (A<java.lang.String>,B<? super A<java.lang.String>>)void
« <?...> errors(...)»-----------------------------------------------
« <?...> errors(...)»    isSubtypeUnchecked(A<java.lang.String>,A<java.lang.String>)?
« <?...> errors(...)»    isSubtypeUnchecked(A<java.lang.String>,java.lang.Object)?
« <?...> errors(...)»    isSubtypeUnchecked(B<java.lang.Object>,B<? super T>)?
« <?...> errors(...)»    isSubtypeUnchecked(B<A<? super T>>,B<? super A<java.lang.String>>)?

[stephan-herrmann]

Progress:

Using this variant of the test case (disambiguated type variables!!!):

			class A<S> {}
			class B<T> {}
			public interface Test {
			   <U> B<U> b(U t);
			   <V> B<A<? super V>> bOfA(B<? super V> t);
			   <W> void errors(W t, B<? super W> m);

			   default void test(A<String> a) {
			      errors(a, bOfA(b(a)));
			   }
			}

The difference happens in this area:

« <?...> errors(...)»« <?...> bOfA(...)»Method type at propagation point: (B<? super V>)B<A<? super V>>
« <?...> errors(...)»« <?...> bOfA(...)»-----------------------------------------------
« <?...> errors(...)»
« <?...> errors(...)»---------------- Bound set after Invocation Applicability Inference (B2): 
« <?...> errors(...)»        Inference variable = W 
« <?...> errors(...)»            W <: A<? super V>
« <?...> errors(...)»            W :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = V 
« <?...> errors(...)»            V <: U
« <?...> errors(...)»        Inference variable = U 
« <?...> errors(...)»            U :> V
« <?...> errors(...)»            U :> A<java.lang.String>
« <?...> errors(...)»        Add bound     V <: java.lang.String induced by operation/check:  isSubtype(V?,java.lang.String)
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»
« <?...> errors(...)»------ Incorporation action CheckBounds[undet=W,t=A<java.lang.String>,bound=LOWER] ------
« <?...> errors(...)»    Bound set now 
« <?...> errors(...)»        Inference variable = W 
« <?...> errors(...)»            W <: A<? super V>
« <?...> errors(...)»            W :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = V 
« <?...> errors(...)»            V <: java.lang.String
« <?...> errors(...)»            V <: U
« <?...> errors(...)»        Inference variable = U 
« <?...> errors(...)»            U :> V
« <?...> errors(...)»            U :> A<java.lang.String>
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION OVER    -------------------
« <?...> errors(...)»    Bound set after incorporation: 
« <?...> errors(...)»        Inference variable = W 
« <?...> errors(...)»            W <: A<? super V>
« <?...> errors(...)»            W :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = V 
« <?...> errors(...)»            V <: java.lang.String
« <?...> errors(...)»            V <: U
« <?...> errors(...)»        Inference variable = U 
« <?...> errors(...)»            U :> V
« <?...> errors(...)»            U :> A<java.lang.String>
« <?...> errors(...)»---------------------   Begin generate return constraints ---------------------
« <?...> errors(...)»    isAssignable(void,void)?
« <?...> errors(...)»-------------  Inference variables to be solved: U,V
« <?...> errors(...)»        Add bound     W :> A<java.lang.String> induced by operation/check: (dup of W? onto W?)
« <?...> errors(...)»        Add bound     W <: A<? super V> induced by operation/check: (dup of W? onto W?)
« <?...> errors(...)»        Add bound     V <: java.lang.String induced by operation/check: (dup of V? onto V?)
« <?...> errors(...)»        Add bound     V <: U induced by operation/check: (dup of V? onto V?)
« <?...> errors(...)»        Add bound     U :> V induced by operation/check: (dup of U? onto U?)
« <?...> errors(...)»        Add bound     U :> A<java.lang.String> induced by operation/check: (dup of U? onto U?)
« <?...> errors(...)»-------------   Performing graph inference step EQ_LOWER ----------
« <?...> errors(...)»        Add bound     V <: A<java.lang.String> induced by operation/check:  (Substitute bounds from {U} to {A<java.lang.String>})
« <?...> errors(...)»        Add bound     W :> A<java.lang.String> induced by operation/check: (dup of W? onto W?)
« <?...> errors(...)»        Add bound     W <: A<? super V> induced by operation/check: (dup of W? onto W?)
« <?...> errors(...)»        Add bound     V <: U induced by operation/check: (dup of V? onto V?)
« <?...> errors(...)»        Add bound     V <: java.lang.String induced by operation/check: (dup of V? onto V?)
« <?...> errors(...)»        Add bound     U :> A<java.lang.String> induced by operation/check: (dup of U? onto A<java.lang.String>)
« <?...> errors(...)»        Add bound     U :> V induced by operation/check: (dup of U? onto A<java.lang.String>)
« <?...> errors(...)»        Add bound     W <: A<? super V> induced by operation/check:  (Substitute bounds from {V} to {V})
« <?...> errors(...)»        Add bound     U :> V induced by operation/check:  (Substitute bounds from {V} to {V})
« <?...> errors(...)»        Add bound     U :> V induced by operation/check:  isSuperType(java.lang.Object,V)?
« <?...> errors(...)»
« <?...> errors(...)»---------------------    INCORPORATION BEGIN    -------------------
« <?...> errors(...)»
« <?...> errors(...)»------ Incorporation action SubstBounds[undet=U,t=java.lang.Object,bound=EQ] ------
« <?...> errors(...)»    Bound set now 
« <?...> errors(...)»        Inference variable = W 
« <?...> errors(...)»            W <: A<? super V>
« <?...> errors(...)»            W :> A<java.lang.String>
« <?...> errors(...)»        Inference variable = V instantiation = V 
« <?...> errors(...)»            V <: java.lang.String
« <?...> errors(...)»        Inference variable = U instantiation = java.lang.Object 
« <?...> errors(...)»            U :> V
« <?...> errors(...)»            U :> A<java.lang.String>

Some differences wrt ecj:

• between applicability inference for errors(..) and invocation type inference (see "Begin generate return constraints") we try to resolve all ivars (last bullet in 18.5.1.) -- no such resolution visible from javac
  • this resolution fails in ecj
  • if I force ecj to ignore that failed preliminary resolution then we still come to different conclusions, see next
• The batch "Inference variables to be solved: U,V" should be split into first resolving U (having a lower bound) and only then resolve V (this is subject of #5129 based on recent advice by Maurizio)
  • can that sequencing U then V be observed in javac? I would have expected another separator like "Performing graph inference step EQ_LOWER_THROWS_UPPER_CAPTURED" before touching V (which has neither EQ nor LOWER bound).
• anyway, based on U#0 :> A<String> ecj instantiates U#0 as A<String>
  • this creates inconsistent bounds for V#1:
    • V#1 <: String
    • V#1 <: A<String>
    • This is where ecj has to give up

Maybe we should work our way backwards by asking

• what led javac to concluding Inference variable = U instantiation = java.lang.Object?

This appears totally out of the blue during resolution: no such bound added, but there it is before next incorporation starts. Is that some unspecified fallback? Based on what conditions?

First mentioning of j.l.Object is here:

Add bound     U :> V induced by operation/check:  isSuperType(java.lang.Object,V)?

What does this signify? Is that output accurately reflecting javac implementation? For a very wild guess the following would slightly better connect to the final result:

Add bound     U :> java.lang.Object induced by operation/check:  isSuperType(U,V)?

In my book, U should be instantiated using

If αi has one or more proper lower bounds, L1, ..., Lk, then Ti = lub(L1, ..., Lk) (§4.10.4).

The lower bound is A<String> and that should be the instantiation for U.

[stephan-herrmann]

This issue could be next on my list to report on compiler-dev. Still, @srikanth-sankaran @coehlrich, if one of you could dig out any explanation what motivates javac to instantiate Inference variable = U instantiation = java.lang.Object then there's a slim chance we can clarify this on our own.

[coehlrich]

When the bouns U :> V is added the output should actually be:

Add bound     U :> V induced by operation/check:  isSuperType(U,V)?

The logging says java.lang.Object since U is already instantiated to java.lang.Object at that point.

The instantiation comes from https://github.com/openjdk/jdk/blob/d4acb51b33c7a45e740b9713c77f661d757f880e/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java#L516-L517 and the upper bound java.lang.Object comes from the declared bounds which aren't logged properly since they are added in the InferenceContext constructor.

[stephan-herrmann]

When the bouns U :> V is added the output should actually be:

Add bound     U :> V induced by operation/check:  isSuperType(U,V)?

The logging says java.lang.Object since U is already instantiated to java.lang.Object at that point.

The instantiation comes from https://github.com/openjdk/jdk/blob/d4acb51b33c7a45e740b9713c77f661d757f880e/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java#L516-L517 and the upper bound java.lang.Object comes from the declared bounds which aren't logged properly since they are added in the InferenceContext constructor.

This is excellent news in a way, @coehlrich!

(j.l.Object bounds are of little to no interest, we don't need to see this in the trace output).

First, you're pointing to the same location we already discussed in #4774 (comment) which then led to the acknowledgement of a javac bug in https://mail.openjdk.org/archives/list/compiler-dev@openjdk.org/thread/TLIVNI7SPUVX646O7RTGG7IOYJVWSV47/ - so we don't need to guess about intentions again.

@srikanth-sankaran for future analyses it would be great, if that method would log whenever proper lower bounds for uv exist at this code location (the bounds that should be used but are ignored by javac). Perhaps we also want to see every instantiation happening in this method (see that in #3367 (comment) the instantiation was visible only some steps later).

Secondly, I figured that we could combine the best of both worlds: First perform resolution as defined in 18.4, and if

• this fails, and
• any lower bound was used during resolution

then retry the entire resolution attempt, this time ignoring any lower bounds (like javac).

The understanding would be: while looking at one set of ivars we might get an over-eager instantiation, i.e., a type that is more specific than necessary. If that breaks the resolution of other ivars, then it's not useful. Otherwise, if possible, it might still improve the overall result. I'll put this tweak behind another SHOULD_SIMULATE_BUG_JDK_XYZ flag to make it easier to react when the bug in javac is fixed.