test: test append with two different named types with same element type
R=golang-dev, gri
CC=golang-dev
https://golang.org/cl/5615045
diff --git a/test/append.go b/test/append.go
index e178f46..10ce2a6 100644
--- a/test/append.go
+++ b/test/append.go
@@ -27,6 +27,7 @@
}
verifyStruct()
verifyInterface()
+ verifyType()
}
@@ -230,3 +231,17 @@
verify("interface l", append(s), s)
verify("interface m", append(s, e...), r)
}
+
+type T1 []int
+type T2 []int
+
+func verifyType() {
+ // The second argument to append has type []E where E is the
+ // element type of the first argument. Test that the compiler
+ // accepts two slice types that meet that requirement but are
+ // not assignment compatible. The return type of append is
+ // the type of the first argument.
+ t1 := T1{1}
+ t2 := T2{2}
+ verify("T1", append(t1, t2...), T1{1, 2})
+}
