Equality of functions

[anandabits (Matthew Johnson)]

@Joe_Groff

These would certainly make the feature more useful, but I think they're separable concerns

I agree. The use cases for anonymous struct syntax are broadly independent of existential. In all the use cases I've seen for this syntax, if type erasure happens its in the implementation of a library. The current workarounds are good enough. There are certainly user-facing use cases for generalized existentials but I haven't seen any that would also use anonymous struct syntax.

@Joe_Groff

I would say that this is just an implementation limitation that could be lifted, and not a new language feature per se. There's no fundamental reason types can't be declared in generic function contexts, and most of the historic implementation limitations have been addressed.

This is great to hear! I hope it happens relatively soon.

@Nickolas_Pohilets

For the last two I'm gonna make evolution proposals.

I'm not able to help on the implementation side, but if you're able to work on implementation and would like help writing a proposal I'd be happy to do that.