id summary reporter owner description type status milestone component version severity resolution keywords cc 2137 BOOST_CONCEPT_REQUIRES fails on g++ john.femiani@… "The mingw-g++ compiler seems to fail to prevent BOOST_CONCEPT_REQUIRES from working properly. It is failing to prevent a function from being instantiated, and instead it is issuing an error. This is being discussed on the newslist [http://www.nabble.com/-concept_check--Problem-with-concept-checks-and-overloads-tt18578325.html here]. This is a sample g++ error: {{{ g++ test.cpp }}} {{{ test.cpp: In instantiation of 'DummyConcept >': c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/detail/has_constraints.hpp:40: instantiated from 'const bool boost::concept::not_satisfied > >::value' c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/detail/has_constraints.hpp:43: instantiated from 'boost::concept::not_satisfied > >' c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/mpl/if.hpp:67: instantiated from 'boost::mpl::if_ > >, boost::concept::constraint > >, boost::concept::requirement > > >' c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/detail/general.hpp:19: instantiated from 'boost::concept::requirement_ >)>' c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/requires.hpp:30: instantiated from 'boost::_requires_ >)>' test.cpp:35: instantiated from here test.cpp:14: error: no type named 'something' in 'struct foo' }}} " Bugs closed Boost 1.36.0 None Boost 1.35.0 Problem invalid