[Issue 12262] [REG2.065] A specialized parameter `alias a : B!A` should not match to the non-eponymous instantiated variable

[d-bugmail at puremagic.com]

https://d.puremagic.com/issues/show_bug.cgi?id=12262


Kenji Hara <k.hara.pg at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull, rejects-valid
            Summary|regression(2.065):          |[REG2.065] A specialized
                   |isTemplateInstantiation     |parameter `alias a : B!A`
                   |                            |should not match to the
                   |                            |non-eponymous instantiated
                   |                            |variable


--- Comment #2 from Kenji Hara <k.hara.pg at gmail.com> 2014-02-26 00:44:05 PST ---
Simplified test case:

template Inst(T) { int x; }

enum fqnSym(alias a)                      = 1;
enum fqnSym(alias a : B!A, alias B, A...) = 2;

static assert(fqnSym!(Inst!(Object)) == 2);
static assert(fqnSym!(Inst!(Object).x) == 1);

Pull request:
https://github.com/D-Programming-Language/dmd/pull/3339

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------