First Draft: Implicit Type Template Instantiation via Constructors

[jmh530]

On Wednesday, 12 March 2025 at 00:20:55 UTC, Meta wrote:
> This DIP is a partial resurrection of DIP 40 
> (https://wiki.dlang.org/DIP40) by me and Dennis Korpel. Dennis 
> is working on the implementation 
> (https://github.com/dlang/dmd/pull/16910) while I am writing 
> the DIP.
>
> [...]

Glad to see someone working on this problem.

How would this apply to template aliases (e.g. DIP1023)?