changeset 1474:df094b948707

[Issue 934] forward reference by pragma(msg) in template: "mtype.c:550: virtual Expression* Type::getProperty(Loc, Identifier*): Assertion `deco' failed" Frits van Bommel <fvbommel@wxs.nl> 2007-02-06 http://d.puremagic.com/issues/show_bug.cgi?id=934
author thomask
date Thu, 05 Apr 2007 16:37:31 +0000
parents 85bd7d2ddb7d
children ed2e61c395a8
files compile/p/pragma_msg_02_A.d compile/p/pragma_msg_02_B.d
diffstat 2 files changed, 38 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/compile/p/pragma_msg_02_A.d	Thu Apr 05 16:37:31 2007 +0000
@@ -0,0 +1,19 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Frits van Bommel <fvbommel@wxs.nl>
+// @date@	2007-02-06
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=934
+// @desc@	[Issue 934] forward reference by pragma(msg) in template: "mtype.c:550: virtual Expression* Type::getProperty(Loc, Identifier*): Assertion `deco' failed"
+
+module dstress.compile.p.pragma_msg_02_A;
+
+template Templ(T) {
+	pragma(msg, Type.mangleof);
+	alias T Type;
+}
+
+Templ!(int).Type x;
+
+static assert(is(typeof(x) == int));
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/compile/p/pragma_msg_02_B.d	Thu Apr 05 16:37:31 2007 +0000
@@ -0,0 +1,19 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Frits van Bommel <fvbommel@wxs.nl>
+// @date@	2007-02-06
+// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=934
+// @desc@	[Issue 934] forward reference by pragma(msg) in template: "mtype.c:550: virtual Expression* Type::getProperty(Loc, Identifier*): Assertion `deco' failed"
+
+module dstress.compile.p.pragma_msg_02_B;
+
+template Templ(T) {
+	alias T Type;
+	pragma(msg, Type.mangleof);
+}
+
+Templ!(int).Type x;
+
+static assert(is(typeof(x) == int));