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

with explicit Unit return type

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/untried/pos/t7902.scala b/tests/untried/pos/t7902.scala
new file mode 100644
index 000000000..47c525c17
--- /dev/null
+++ b/tests/untried/pos/t7902.scala
@@ -0,0 +1,17 @@
+import scala.language.higherKinds
+
+object Bug {
+  class Tag[W[M1[X1]]]
+
+  def ofType[W[M2[X2]]]: Tag[W] = ???
+  type InSeq  [M3[X3]] = Some[M3[Any]]
+
+  // fail
+  val x = ofType[InSeq]
+
+  // okay
+  val y: Any = ofType[InSeq]
+  object T {
+    val z = ofType[InSeq]
+  }
+}