[ConceptGCC]|
[ConceptGCC] |
ConceptGCC :missing detail in error for a failed where clause |
From: Martin Sebor (sebor_at_[hidden])
Date: 2007-02-27 18:32:13
Consider the program below (taken from 3.6.1 of N2042). I find
the error message I get from Concept gcc to be worse than the
error issued by stock g++ in that it doesn't tell me why the
function doesn't match. Is this a known limitation or should
I open an issue for it?
Martin
#if __GXX_CONCEPTS__
# include <concepts>
# define WHERE _GLIBCXX_WHERE
concept C<class T> { T::T (T); };
using namespace std;
#else
# define WHERE(...) /* empty */
#endif
template <class T>
struct A {
WHERE (C<T>) A (): t () { }
T t;
};
struct B { private: B (); };
int main ()
{
A<B> a;
}
z.cpp: In function 'int main()':
z.cpp:22: error: no matching function for call to 'A<B>::A()'
z.cpp:13: note: candidates are: A<B>::A(const A<B>&)