add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/untried/pos/tcpoly_infer_explicit_tuple_wrapper.scala b/tests/untried/pos/tcpoly_infer_explicit_tuple_wrapper.scala
new file mode 100644
index 000000000..f719972a1
--- /dev/null
+++ b/tests/untried/pos/tcpoly_infer_explicit_tuple_wrapper.scala
@@ -0,0 +1,16 @@
+import scala.collection.generic.GenericTraversableTemplate
+import scala.collection.Iterable
+
+class IterableOps[CC[+B] <: Iterable[B] with GenericTraversableTemplate[B, CC], A1, A2](tuple: (CC[A1], Iterable[A2])) {
+  def unzip: (CC[A1], CC[A2]) = sys.error("foo")
+}
+
+object Test {
+
+  implicit def tupleOfIterableWrapper[CC[+B] <: Iterable[B] with GenericTraversableTemplate[B, CC], A1, A2](tuple: (CC[A1], Iterable[A2]))
+      = new IterableOps[CC, A1, A2](tuple)
+
+  val t = (List(1, 2, 3), List(6, 5, 4))
+
+  tupleOfIterableWrapper(t) unzip
+}