Test that private member selection on AndTypes works.

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/run/PrivateAnd.scala b/tests/run/PrivateAnd.scala
new file mode 100644
index 000000000..bef2ef276
--- /dev/null
+++ b/tests/run/PrivateAnd.scala
@@ -0,0 +1,17 @@
+class A{
+  private def foo = 1
+  def callsFoo1(other: A & B): Int = other.foo
+  def callsFoo2(other: B & A): Int = other.foo
+}
+
+trait B {
+  def foo(i: Int) = i
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val a = new A with B
+    a.callsFoo1(a)
+    a.callsFoo2(a)	
+  }
+}