problem with context receivers if you want to buil...

# language-proposals

[apatrida]

problem with context receivers if you want to build generic functions with two (or more) context receivers that you don't know the type, because they are assumed that they could have the same supertype and therefore are not allowed. There is no way to say in generics T1, T2 where T1 !: T2 to indicate you are wanting to guarantee they don't have an inheritence or implementation heirarchy