From 8bef7fdc3923d48ddc2f76ae57fc8d4e9135beb8 Mon Sep 17 00:00:00 2001
From: Russ Cox <rsc@golang.org>
Date: Tue, 2 Feb 2010 15:00:13 -0800
Subject: [PATCH] bug252: make ... vs ...T crossing an error, at least for now

R=r
CC=golang-dev
https://golang.org/cl/199066
---
 src/cmd/gc/typecheck.c   |  5 +++++
 test/fixedbugs/bug252.go | 15 +++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 test/fixedbugs/bug252.go

diff --git a/src/cmd/gc/typecheck.c b/src/cmd/gc/typecheck.c
index 9c06ff6a154..0643f77a953 100644
--- a/src/cmd/gc/typecheck.c
+++ b/src/cmd/gc/typecheck.c
@@ -1517,6 +1517,11 @@ typecheckaste(int op, Type *tstruct, NodeList *nl, char *desc)
 	for(tl=tstruct->type; tl; tl=tl->down) {
 		t = tl->type;
 		if(tl->isddd) {
+			if(nl != nil && nl->n->isddd && !eqtype(nl->n->type, t)) {
+				// TODO(rsc): This is not actually illegal but will
+				// help catch bugs.
+				yyerror("cannot pass %+N as %T (... mismatch)", nl->n, tl);
+			}
 			if(nl != nil && nl->next == nil && nl->n->isddd && eqtype(nl->n->type, t))
 				goto out;
 			for(; nl; nl=nl->next) {
diff --git a/test/fixedbugs/bug252.go b/test/fixedbugs/bug252.go
new file mode 100644
index 00000000000..7ed8b87cbe0
--- /dev/null
+++ b/test/fixedbugs/bug252.go
@@ -0,0 +1,15 @@
+// errchk $G $D/$F.go
+
+// Copyright 2010 The Go Authors.  All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package main
+
+func f(args ...) {
+	g(args)	// ERROR "[.][.][.] mismatch"
+}
+
+func g(args ...interface{}) {
+	f(args)	// ERROR "[.][.][.] mismatch"
+}