<!-- upperBoundViolated2 -->
Type parameter bound for V in fun <V : U, U> bar(v: V, u: MutableSet<U>): MutableSet<U>
 is not satisfied: inferred type Any is not a subtype of String