Re: [boost] [type_traits][cw] is_convertible compile failure

From: Joaquín Mª López Muñoz (joaquin_at_[hidden])
Date: 2006-02-10 02:12:26

John Maddock ha escrito:

> >> ### mwcc Compiler:
> >> #      In: ..\..\..\boost\type_traits\is_convertible.hpp
> >> #    From: tricky_function_type_test.cpp
> >> # --------------------------------------
> >> #     158:         );
> >> #   Error:          ^
> >> #   function call '_m_check({lval} void (), int)' does not match
> >> #   'boost::detail::is_convertible_basic_impl<void (&)(),
> >> boost::detail::int_convertible>::_m_check(boost::detail::any_conversion,
> >> ...)' (static) #   'boost::detail::is_convertible_basic_impl<void
> >> (&)(),
> >> boost::detail::int_convertible>::_m_check(boost::detail::int_convertible,
> >> int)' (static) #    (point of instantiation: 'main()') #
> >> (instantiating: 'boost::is_enum<void ()>') #      (instantiating:
>
> I don't see any way around that unfortunately: the function call should be
> deduced to work OK: it does on EDG and gcc compilers, and ultimately all the
> possible implementations use either this method or the current one (or
> trivial variations).  Is there any other way to work around the original
> problem?

I'm afraid there ain't. This popped up from original code like