TypeFunction example creatiing a conversion matrix

[Stefan Koch]

On Thursday, 1 October 2020 at 18:55:17 UTC, Andrei Alexandrescu 
wrote:
>
> A struct that can be manipulated during compilation containing 
> all that information would be very valuable.

Indeed, I considered and implemented that a few months ago.
Type functions can store types in structs. Right now.
I think I did demonstrate that somewhere ....
Structs holding types can never be used outside of CTFE of course.
Because a type is not given an ABI.