libstdc++ not conforming with --enable-concepts-check?

[Paolo Carlini]

Jonathan Wakely wrote:

>Because std::deque's value_type needn't be DefaultConstructible, unless
>using the default argument for the fill ctor.
>
>Oh ... and unless you explicitly instantiate the container and the
>implementation happens to have taken the option of implementing the
>fill ctor with more than one function (see my other mail in this thread).
>  
>
I'm finding this last point of yours very interesting: thanks for the 
observation.
I need time to do some bib search and study the specific issue in 
detail. I hope
someone else will shed light in the meanwhile...

>>>Because deque (and vector, and so on...) individually have really 
>>>**minimal** concept checks, right now. We can endeavour working on 
>>>this, if we (you?) consider it a worthy project...
>>>      
>>>
>Hmm, I don't know - I think the concept checks are pretty complete. This
>is the second one this month that has been removed for being _too_
>restrictive!
>  
>
:) I meant the concept_check present in the individual containers (vs 
algorithms
and iterators): don't you agree?

Paolo.