Is binding to alias a definite superset of binding to a type parameter?

[Stefan Koch]

On Tuesday, 26 May 2020 at 16:16:26 UTC, Max Samukha wrote:
> On Tuesday, 26 May 2020 at 16:04:17 UTC, Meta wrote:
>
>>
>> It's a moot point since alias template parameters now accept 
>> built in types.
>
> Yes, with a ton of hacks in the implementation, I presume.

No it was a one line change.
DMD is much better and handling wired ASTs than you give it 
credit for.
The overload resolution was changed to accept types on the 
matching level convert
That's it.