I'm not able, nor am I experienced enough, to champion this for you - but I'd like to share my support. I'm been looking forward to this ever since your original thread - particularly being able to write SomeType<OtherType::Ts...>, which currently isn't possible. It could open up many interesting simplifications.

On Mon, 10 Feb 2020, 20:25 Dmitry via Std-Proposals, <std-proposals@lists.isocpp.org> wrote:

The time to schedule presentation to EWG-I in Prague has come.
Unfortunately, I won't be able to go there :(  I also realise that chances that anyone pay attention to it without presentation are slim.

So, I am wondering if there is somebody who is going to be there, in Prague, and present it?

PS Here is links to the paper: pdf, gdocs.


Sent from gmail
Std-Proposals mailing list