[Issue 11662] Template constraint evaluation should not look eponymous template function parameters if it's unnecessary

[d-bugmail at puremagic.com]

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

Basile-z <b2.temp at gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |b2.temp at gmx.com

--- Comment #3 from Basile-z <b2.temp at gmx.com> ---
More precisely the problem is here [1].

DMD tries to define the type of the eponymous member (the `onemember` symbol)
but
using an inadequate scope since it does not allow to resolve `Type`, as you can
see when the gagging "sandwich" code is deactivated... Problem is that the
right scope simply does not exist yet.


[1]:
https://github.com/dlang/dmd/blob/daf1a31c5f97df3d3082dd5a332422ba5c3ae20b/compiler/src/dmd/dtemplate.d#L1190

--