blob: f9c5aa2d91d57bc1f6d7d19e73eb7c5ffa169bc7 [file] [log] [blame]
<!-- upperBoundViolated3 -->
Type parameter bound for T in fun <T : R, R : B> baz(t: T, r: R): Unit where T : A
is not satisfied: inferred type A is not a subtype of B