More tests

which all pass.

6 files changed, 68 insertions, 0 deletions

diff --git a/tests/pos/t0710.scala b/tests/pos/t0710.scala
new file mode 100644
index 000000000..d550d63f9
--- /dev/null
+++ b/tests/pos/t0710.scala
@@ -0,0 +1,10 @@
+object t0710 {
+  def method: Unit = {
+    sealed class Parent
+    case object Child extends Parent
+    val x: Parent = Child
+    x match {
+      case Child => ()
+    }
+  }
+}
diff --git a/tests/pos/t0770.scala b/tests/pos/t0770.scala
new file mode 100644
index 000000000..7a0a2bf9b
--- /dev/null
+++ b/tests/pos/t0770.scala
@@ -0,0 +1,13 @@
+trait A
+{
+	private[this] val p = 5
+
+	def f = (b: Byte) => p
+}
+
+trait B
+{
+	def failure: Boolean
+	def success = !failure
+}
+
diff --git a/tests/pos/t0851.scala b/tests/pos/t0851.scala
new file mode 100644
index 000000000..fdc504af7
--- /dev/null
+++ b/tests/pos/t0851.scala
@@ -0,0 +1,14 @@
+package test
+
+object test1 {
+  case class Foo[T,T2](f : (T,T2) => String) extends (((T,T2)) => String){
+    def apply(t : T) = (s:T2) => f(t,s)
+    def apply(p : (T,T2)) = f(p._1,p._2)
+  }
+  implicit def g[T](f : (T,String) => String): Foo[T, String] = Foo(f)
+  def main(args : Array[String]) : Unit = {
+    val f = (x:Int,s:String) => s + x
+    println(f(1))
+    ()
+  }
+}
diff --git a/tests/pos/t0872.scala b/tests/pos/t0872.scala
new file mode 100644
index 000000000..ccaee8052
--- /dev/null
+++ b/tests/pos/t0872.scala
@@ -0,0 +1,8 @@
+object Main {
+  def main(args : Array[String]): Unit = {
+    val fn = (a : Int, str : String) => "a: " + a + ", str: " + str
+    implicit def fx[T](f : (T,String) => String): T => String = (x:T) => f(x,null)
+    println(fn(1))
+    ()
+  }
+}
diff --git a/tests/pos/t0904.scala b/tests/pos/t0904.scala
new file mode 100644
index 000000000..28ad30fc2
--- /dev/null
+++ b/tests/pos/t0904.scala
@@ -0,0 +1,17 @@
+trait A {
+  def apply(x: Int): Int
+  def update(x: Int, y: Int): Unit
+}
+
+trait B extends A
+
+abstract class Foo {
+  val a: A = null
+  val b: B = null
+
+  a(0) = 1
+  b(0) = 1
+
+  a(0) += 1
+  b(0) += 1 // this one does not type check.
+}
diff --git a/tests/pos/t0905.scala b/tests/pos/t0905.scala
new file mode 100644
index 000000000..3800c6e0b
--- /dev/null
+++ b/tests/pos/t0905.scala
@@ -0,0 +1,6 @@
+object Test {
+  trait A[T]
+  def f(implicit p: A[_]) = null
+  implicit val x: A[_] = null
+  println(f)
+}