A modern programming language that makes developers happier.

kotlinlang

Can we have some sort of bounded (must-be-same) star projections?
```fun &lt;T : SomeClass&lt;*&gt;&gt; SomeOtherClass&lt;*&gt;.function() {...}```
Such that we can guarantee the two star-projections must be equal? I know we can introduce another generic, but that'll lead to redefine that explicitly twice like `function&lt;T&lt;E&gt;, E&gt;` when calling the function. So is there any way we can omit that extra generic and use some implicit kind of thing?

Afaik no, you need to introduce a generic parameter. You may use typealiases to replace long redondant generic types