Type Inference for Struct/Enum Literals

[Richard (Rikki) Andrew Cattermole]

On 09/07/2024 8:26 PM, IchorDev wrote:
> On Tuesday, 9 July 2024 at 04:54:54 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> Yes, I need to talk to Walter about the member-of-operator ideally at 
>> next monthly meeting to unblock my sum type work.
>>
>> It is a very restrictive subset of this, which may take some 
>> convincing as he has some very strong opinions that do impact 
>> performance. An expansion can come later to introduce Identifier 
>> Type's as described in this thread with expanded use cases.
> 
> Ah yes, I’d forgotten all about that!
> Do you think I should attend the meeting?

Up to you, my main focus for this is to get Walter to confirm what level 
of cost for argument to parameter matching will be acceptable for him.

If I can't get even the most restricted design okayed to continue, all 
this work is kinda at a dead end.