TypeFunction example creatiing a conversion matrix

[Bruce Carneal]

On Thursday, 1 October 2020 at 18:08:11 UTC, Steven Schveighoffer 
wrote:
> On 10/1/20 1:35 PM, Andrei Alexandrescu wrote:
> ...
>
> I don't see why Variant's needs have to dictate how you need to 
> reason about types at compile time in CTFE.

Yes.  If we want to talk about how we might eliminate the 
distinction between run-time and compile-time a separate thread 
would be useful.  I'd sure follow it!