https://kotlinlang.org logo
a

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"
2 Views