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

[Max Samukha]

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.