• Andrew Wiley <wiley.andrew.j gmail.com> Dec 10 2011
• Peter Alexander <peter.alexander.au gmail.com> Dec 11 2011
• Timon Gehr <timon.gehr gmx.ch> Dec 11 2011

Andrew Wiley <wiley.andrew.j gmail.com> writes:

---
class Bob {
}

void doSomething(T)(Bob bob, T data) {
}

void main() {
	doSomething(null, 5); // Error: template test.doSomething(T) does not
match any function template declaration
        // Error: template test.doSomething(T) cannot deduce template
function from argument types !()(void*,int)
}
---

Bug?

Peter Alexander <peter.alexander.au gmail.com> writes:

On 11/12/11 3:04 AM, Andrew Wiley wrote:
 ---
 class Bob {
 }

 void doSomething(T)(Bob bob, T data) {
 }

 void main() {
 	doSomething(null, 5); // Error: template test.doSomething(T) does not
 match any function template declaration
          // Error: template test.doSomething(T) cannot deduce template
 function from argument types !()(void*,int)
 }
 ---

 Bug?


I believe there's several bugs for this. Here's one:

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

It is a major issue though. You get a similar thing with empty arrays 
(they could be empty arrays of anything!).

Timon Gehr <timon.gehr gmx.ch> writes:

On 12/11/2011 04:04 AM, Andrew Wiley wrote:
 ---
 class Bob {
 }

 void doSomething(T)(Bob bob, T data) {
 }

 void main() {
 	doSomething(null, 5); // Error: template test.doSomething(T) does not
 match any function template declaration
          // Error: template test.doSomething(T) cannot deduce template
 function from argument types !()(void*,int)
 }
 ---

 Bug?


It is very possible that it will work in 2.057, because the null literal 
gets an own type.