Add checking for leaking private definitions

First version. Fixes #997.

1 files changed, 45 insertions, 0 deletions

diff --git a/tests/neg/i997.scala b/tests/neg/i997.scala
new file mode 100644
index 000000000..bfcf5637e
--- /dev/null
+++ b/tests/neg/i997.scala
@@ -0,0 +1,45 @@
+class C {
+
+  private type T = E
+  private val p: C = new C
+
+  def f1(x: T): Unit = () // error
+  def f2(x: p.D): Unit = () // error
+
+  val v1: T = ??? // error
+  val v2: p.D = ??? // error
+
+  type U1[X <: T] // error
+  type U2 = T // error
+
+  private class E {
+    def f1ok(x: T): Unit = () // ok
+    def f2ok(x: p.D): Unit = () // ok
+
+    val v1ok: T = ??? // ok
+    val v2ok: p.D = ??? // ok
+
+    type U1ok[X <: T] //ok
+    type U2ok = T //ok
+  }
+
+  class D extends E { // error
+    def f1(x: T): Unit = () // error
+    def f2(x: p.D): Unit = () // error
+
+    val v1: T = ??? // error
+    val v2: p.D = ??? // error
+
+    type U1[X <: T] // error
+    type U2 = T // error
+  }
+
+  class F(x: T) // error
+
+  class G private (x: T) // ok
+
+  private trait U
+
+  class H extends U // error
+
+}