[Issue 6879] The difference of between template matching and IsExp

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6879


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid


--- Comment #2 from Kenji Hara <k.hara.pg at gmail.com> 2011-11-02 07:44:11 PDT ---
I have found the true issue.

alias int[3] T;
static if (is(T _ : U[N], U, int N))      // a: match
static if (is(T _ : U[N], U, uint N))     // b: match
static if (is(T _ : U[N], U, size_t N))   // c: doesn't match

The mismatching of c is 'rejects-valid' issue IMO.

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