Problems with the new concepts checking code (boost)

[Gabriel Dos Reis]

Benjamin Kosnik <bkoz@redhat.com> writes:

| > I'm worried that if we disable the checks we'll never solve the bug.
| > But I will admit to a certain amount of pet-project bias.  :-)
| 
| right. That's why I propose disable on the branch, enable on head. 
| Concept checking is an idea that we should be working on to make correct.

Concept checking is a cool idea.  When it works :-)

I'm trying to check-in Joe's patch about std::equal with a test case
and I'm surprised to find the following inside std::equal:

  glibcpp_function_requires(EqualityComparableConcept<
        typename iterator_traits<_InputIter2>::value_type>);

which is wrong.

I'll check in the patch along with the test-case.  But someone needs
to fix the concept checking part.

-- Gaby