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

with explicit Unit return type

1 files changed, 9 insertions, 0 deletions

diff --git a/tests/untried/pos/sammy_single.scala b/tests/untried/pos/sammy_single.scala
new file mode 100644
index 000000000..c64e9c2b0
--- /dev/null
+++ b/tests/untried/pos/sammy_single.scala
@@ -0,0 +1,9 @@
+// test that dependent types work
+// TODO: def apply(x: String): x.type does NOT work yet
+object Test {
+  val s: String = ""
+
+  trait T { def apply(x: s.type): s.type }
+
+  val preservedResult: s.type = ((x => x): T)(s)
+}