On 5/11/2020 5:48 AM, Steven Schveighoffer wrote: > The biggest problem I had with this DIP still remains -- You cannot forward the > "namedness" of parameters to a subtype. I see this as something you can propose as another DIP to enhance DIP1030 after it is incorporated.