# HG changeset patch
# User thomask
# Date 1114061671 0
# Node ID fb12b778ea27d536f3c3aae577c3c8b0b49ccfad
# Parent  e224de1ae026a523b4eee5ddd0d712628e966bd3
type safety of variadic arguments

Manfred Nowak <svv1999@hotmail.com>
2005-04-21
news:d46udp$1mqe$1@digitaldaemon.com

diff -r e224de1ae026 -r fb12b778ea27 run/variadic_argument_04.d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/variadic_argument_04.d	Thu Apr 21 05:34:31 2005 +0000
@@ -0,0 +1,30 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Manfred Nowak <svv1999@hotmail.com>
+// @date	2005-04-21
+// @uri@	news:d46udp$1mqe$1@digitaldaemon.com
+
+// @WARNING@    direct access to Phobos
+
+module dstress.run.variadic_argument_04;
+
+import std.stdarg;
+
+int status;
+
+template t(T){
+	T t(...){
+		assert(_arguments[ 0] != typeid( T));
+		status++;
+		return va_arg!(T)(_argptr);
+	}
+}
+
+int main(){
+	t!(int delegate()) (delegate real(){return 1.1L;});
+	assert(status==1);	
+	return 0;
+}
+
diff -r e224de1ae026 -r fb12b778ea27 run/variadic_argument_05.d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/variadic_argument_05.d	Thu Apr 21 05:34:31 2005 +0000
@@ -0,0 +1,30 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Manfred Nowak <svv1999@hotmail.com>
+// @date	2005-04-21
+// @uri@	news:d46udp$1mqe$1@digitaldaemon.com
+
+// @WARNING@    direct access to Phobos
+
+module dstress.run.variadic_argument_05;
+
+import std.stdarg;
+
+int status;
+
+template t(T){
+	T t(...){
+		assert(_arguments[ 0] == typeid( T));
+		status++;
+		return va_arg!(T)(_argptr);
+	}
+}
+
+int main(){
+	t!(int delegate()) (delegate int(){return 1;});
+	assert(status==1);	
+	return 0;
+}
+