<!-- upperBoundViolated3 -->
Type parameter bound for T in fun <T : R, R : i.B> baz(t: T, r: R): kotlin.Unit where T : i.A
 is not satisfied: inferred type i.A is not a subtype of i.B