Type parameter bound for T in

fun <T : R, R : i.B> baz

(

t: T,

r: R

)

: jet.Unit where T : i.A

is not satisfied: inferred type i.A is not a subtype of i.B