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<foo<int> >':
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<DummyConcept<foo<int> > >::value'
c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/detail/has_constraints.hpp:43:   instantiated from 'boost::concept::not_satisfied<DummyConcept<foo<int> > >'
c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/mpl/if.hpp:67:   instantiated from 'boost::mpl::if_<boost::concept::not_satisfied<DummyConcept<foo<int> > >, boost::concept::constraint<DummyConcept<foo<int> > >, boost::concept::requirement<DummyConcept<foo<int> > > >'
c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/detail/general.hpp:19:   instantiated from 'boost::concept::requirement_<void (*)(DummyConcept<foo<int> >)>'
c:\mingw\bin\../lib/gcc/mingw32/4.3.0/../../../../include/boost/concept/requires.hpp:30:   instantiated from 'boost::_requires_<void (*)(DummyConcept<foo<int> >)>'
test.cpp:35:   instantiated from here
test.cpp:14: error: no type named 'something' in 'struct foo<int>'

}}}
",Bugs,closed,Boost 1.36.0,None,Boost 1.35.0,Problem,invalid,,