On 2/26/2020 5:19 AM, Steven Schveighoffer wrote:
We can do it without specifying that it's a template or the name of that template.
That isn't what was proposed. I seriously suggest preparing a DIP. Bits and pieces spread out over multiple posts and multiple threads is not working.
But this statement still belies your misunderstanding. D is full of compiler-defined types that are implemented via templates in the library "not specified by the user".
None of them are specified/required by the spec. Again, the spec specifies the semantics. Not the implementation method. (This would address my issue with AST macros.)
