Talk:Substitution failure is not an error

Compiler Example error
The example appears to be incorrect. With "g++ (GCC) 4.2.2" function "#2" is called both times.
 * Sounds like an error in your compiler. If you want, you can post your complete code here or on my talk page, and I'll take a look at it. decltype (talk) 06:55, 17 March 2009 (UTC)
 * No he is correct. The second example is in error. The first prototype takes a pointer. Neither call uses a pointer argument. Thus, both call the (...) version. —Preceding unsigned comment added by 192.91.172.42 (talk) 21:46, 12 January 2011 (UTC)
 * That comment was made back in 2009, at which time the article looked like this. There are no pointers or ellipses in that example.  (talk) 09:21, 13 January 2011 (UTC)
 * And the second example also seems correct from what I can tell. test(0) with T=foo matches yes& test (foo::type*). 0 is convertible to pointer-to-float.  (talk) 09:33, 13 January 2011 (UTC)

Variables "yes" and "no" are guaranteed to have different sizes
I think that should be Types "yes" and "no" are guaranteed to have different sizes, shouldn't it? — Preceding unsigned comment added by Srrrgei (talk • contribs) 13:17, 15 December 2011 (UTC)