TypeFunction example creatiing a conversion matrix

[Andrei Alexandrescu]

On 10/1/20 7:02 PM, Adam D. Ruppe wrote:
> On Thursday, 1 October 2020 at 19:15:10 UTC, Andrei Alexandrescu wrote:
>> Problem definition: Implement Variant.get correctly. :o)
>>
>> E.g. this produces a type error somewhere in the innards of 
>> std.variant: https://run.dlang.io/is/joIbeV. I'm not sure how many 
>> other cases are out there.
> 
> 
> So here's my proof of concept that this is doable today:
[snip]

Is this a visitation/double dispatch?