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

[magfr@lysator.liu.se]

Hello.

If I try to compile the attached program and have built the compiler with
--enable-concept-checks that fails but as far as I can see from the standard
queue only requires that the elements should be CopyConstructible, there is
no requirement for DefaultConstructability, so I think that is a bug in the
concept checking code.

/MF
-------------- next part --------------
#include <queue>

class foo
{
public:
	foo(int) { }
};

int main()
{
	std::queue<foo> x;
	return 0;
}