[Issue 14357] New: SC test0128.d compiles, but should not

[via Digitalmars-d-bugs]

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: nob...@puremagic.com
          Reporter: shammah.chancel...@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*);
}

```

--