------- Additional Comments From SWElef at post dot sk 2005-04-08 07:33 ------- Well, if we speak about other compilers, MSVC++ Toolkit 2003 supports my view on the first snippet and emits an ICE on the second. And the behaviour of Comeau Online is pretty irrelevant as it fails deduction even for test<B1>(0). >From my tests it seems that Comeau Online fails deduction whenever there is a non-trivial expression using a template argument in the template function signature and "typename void_holder<int B1::*,&T::foo>::type" is already too complicated.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20812