Felt relevant to crosspost here! I'm hoping this s...

# language-evolution

[Youssef Shoaib [MOD]]

Felt relevant to crosspost here!
I'm hoping this starts a conversation about smarter handling of existential (star-projected) types by the compiler frontend. It currently gives up in the simplest of examples, but clearly there's some handling logic in the compiler. Hopefully, type inference can support existential types better in the future!