From 9ef5f6817688f814a3450126aa7383b0928e80a0 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Wed, 12 Mar 2014 22:44:33 +0100
Subject: add tests from scala/test/files/{pos,neg}

with explicit Unit return type
---
 tests/untried/pos/sammy_single.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/untried/pos/sammy_single.scala

(limited to 'tests/untried/pos/sammy_single.scala')

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)
+}
-- 
cgit v1.2.3