[Issue 19183] DIP1000 defeated if auto used instead of scope in variable declaration with template this member function

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=19183

Mike Franklin <slavo5...@yahoo.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |slavo5...@yahoo.com

--- Comment #14 from Mike Franklin <slavo5...@yahoo.com> ---
(In reply to Atila Neves from comment #13)

> It's only if `ptr` is a template this function this bug manifests

I suspect that's due to the undocumented inference rules add by
https://github.com/dlang/dmd/pull/8408

Note that in DIP25 it states:  "Annotation are deduced for templates and
lambdas, but must be explicit for all other declarations".

--