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: [email protected]
Reporter: [email protected]
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*);
}
```
--
