CAP#1 is a fresh type-variable: CAP#1 extends Object super: String from capture of ? super String. Tension: the caller doesn't know what the type parameter actually is. Outcome: there are no supertype constraints in Java.

8b58b443-e385-4d9c-a73c-5858a86e4934