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
---
 .../neg/valueclasses-impl-restrictions.scala       | 29 ++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 tests/untried/neg/valueclasses-impl-restrictions.scala

(limited to 'tests/untried/neg/valueclasses-impl-restrictions.scala')

diff --git a/tests/untried/neg/valueclasses-impl-restrictions.scala b/tests/untried/neg/valueclasses-impl-restrictions.scala
new file mode 100644
index 000000000..f0577a94a
--- /dev/null
+++ b/tests/untried/neg/valueclasses-impl-restrictions.scala
@@ -0,0 +1,29 @@
+class M(val t: Int) extends AnyVal {
+   def lazyString = {
+      object X
+      () => X
+   }
+}
+
+class X1(val s: String) extends AnyVal {
+  trait I2 {
+   val q: String
+   def z = s + q
+  }
+
+  def y(x: X1) = {
+    val i2 = new I2 { val q = x.s } // allowed as of SI-7571
+    i2.z
+
+    { case x => x } : PartialFunction[Int, Int] // allowed
+  }
+}
+
+class X2(val s: String) extends AnyVal {
+  private[this] class I2(val q: String)
+
+  def y(i: Int) = {
+    val i2 = new I2(i.toString)
+    i2.q + s
+  }
+}
-- 
cgit v1.2.3