Add passing tests

1 files changed, 64 insertions, 0 deletions

diff --git a/tests/pos/spec-traits.scala b/tests/pos/spec-traits.scala
new file mode 100644
index 000000000..759fd2267
--- /dev/null
+++ b/tests/pos/spec-traits.scala
@@ -0,0 +1,64 @@
+trait A[@specialized(Int) T] { def foo: T }
+class B extends A[Int] { val foo = 10 }
+class C extends B
+
+// issue 3309
+class Lazy {
+  def test[U](block: => U): Unit = { block }
+
+  test { lazy val x = 1 }
+}
+
+// issue 3307
+class Bug3307 {
+  def f[Z](block: String => Z): Unit = {
+    block("abc")
+  }
+
+  ({ () =>
+    f { implicit x => println(x) } })()
+}
+
+// issue 3301
+  trait T[X]
+
+class Bug3301 {
+  def t[A]: T[A] = sys.error("stub")
+
+  {() => {
+    type X = Int
+
+    def foo[X] = t[X]
+    ()
+  }}
+}
+// issue 3299
+object Failure {
+  def thunk(): Unit = {
+    for (i <- 1 to 2) {
+      val Array(a, b) = Array(1,2)
+      ()
+    }
+  }
+}
+
+// issue 3296
+
+object AA
+{
+    def f(block: => Unit): Unit = {}
+
+    object BB
+    {
+        f {
+            object CC
+
+            ()
+        }
+    }
+
+  def foo[T](x: T) = { object A; false }
+}
+
+// issue 3325
+object O { def f[@specialized T]: Unit = { for(k <- Nil: List[T]) { } } }