• via Digitalmars-d-bugs (32/33) Mar 28 2015 https://issues.dlang.org/show_bug.cgi?id=14357

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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

          Issue ID: 14357
           Summary: SC test0128.d compiles, but should not
           Product: D
           Version: unspecified
          Hardware: x86
                OS: Mac OS X
            Status: NEW
          Severity: normal
          Priority: P1
         Component: DMD
          Assignee: nobody puremagic.com
          Reporter: shammah.chancellor gmail.com

SDC errors as follows:
```
 ../bin/sdc test0128.d

    return Qux!(float**, int*);
           ^~~~~~~~~~~~~~~~~~~~
           test0128.d:10: error: No match
```

DMD compiles this erroneously:
```test0128.d
//T compiles:no
//T has-passed:yes
// Test invalid specialisation.

template Qux(T : U*, U : V*, V) {
    enum Qux = T.sizeof + V.sizeof;
}

int main() {
    return Qux!(float**, int*);
}

```

--