```fun lt T1 Any T2 Any R gt with receiver1 T1 receiver2 T2 kotlinlang #language-proposals

```fun <T1: Any, T2: Any, R> with(receiver1:...

apatrida

03/12/2023, 10:10 PM

Copy code

fun <T1: Any, T2: Any, R> with(receiver1: T1, receiver2: T2, block: context(T1, T2) () -> R): R

subtyping relation about T1 nd T2 not allowed. But I want to say "T1 will have no relation to T2 so its fine"

3 Views