re PR c++/13813 ([DR206] Incomplete member variables in a template.)

DR206
	PR c++/13813
	* g++.dg/template/member4.C: New test.

From-SVN: r76971
This commit is contained in:
Giovanni Bajo 2004-01-30 16:40:43 +00:00
parent a9f46cbbe4
commit d0acf599c8
2 changed files with 26 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2004-01-30 Giovanni Bajo <giovannibajo@gcc.gnu.org>
DR206
PR c++/13813
* g++.dg/template/member4.C: New test.
2004-01-30 Giovanni Bajo <giovannibajo@gcc.gnu.org>
PR c++/13683

View File

@ -0,0 +1,20 @@
// { dg-do compile }
// Contributed by Matty T. <mattyt-bugzilla at tpg dot com dot au>
// PR c++/13813 [DR206]: Check semantic constraints of members of
// non-dependent type at instantiation time.
// DR206 explains that this is ill-formed, no diagnostic required. We emit
// a diagnostic instead.
class E;
template < class A > class Z {
A a;
E e; // { dg-error "incomplete type" }
};
// Nested classes are always dependent names.
template < class A > class Y {
class F;
F e; // { dg-bogus "" "nested classes are always dependent, see DR108 and DR224" }
};