TypeFunction example creatiing a conversion matrix

[Stefan Koch]

On Friday, 2 October 2020 at 09:57:18 UTC, Iain Buclaw wrote:
> On Thursday, 1 October 2020 at 18:26:48 UTC, H. S. Teoh wrote:
>> On Thu, Oct 01, 2020 at 02:08:11PM -0400, Steven Schveighoffer 
>> via Digitalmars-d wrote:
>>> [...]
>> [...]
>>> [...]
>> [...]
>>
>> I think what Andrei is getting at is, we want to be able to 
>> transfer the compiler's knowledge and implementation of 
>> implicit type conversions to runtime.  I.e., we'd like to do 
>> this:
>>
>
> The compiler's knowledge of implicit conversions is a table 
> that hasn't changed since 2010.  Why can't you just have a form 
> of this table in Phobos?

That's true for basic types.
If you want to know it as well for alias this.
it's somewhat more tricky :)