TypeFunction example creatiing a conversion matrix

[Andrei Alexandrescu]

On 10/1/20 1:26 PM, Steven Schveighoffer wrote:
> But when the compiler MUST implement is(T : U), and that expression is 
> well defined, I don't see why we have to reimplement that feature in the 
> runtime as well. At least without a compelling example of "the compiler 
> can't do this as well".

How do you implement Variant.get(T) without reifying is(T : U)?