Closes #3973. Review by extempore.

2 files changed, 24 insertions, 0 deletions

diff --git a/test/files/run/duplicate-meth.check b/test/files/run/duplicate-meth.check
new file mode 100644
index 0000000000..0992502806
--- /dev/null
+++ b/test/files/run/duplicate-meth.check
@@ -0,0 +1 @@
+verified!
diff --git a/test/files/run/duplicate-meth.scala b/test/files/run/duplicate-meth.scala
new file mode 100644
index 0000000000..40c0d3d676
--- /dev/null
+++ b/test/files/run/duplicate-meth.scala
@@ -0,0 +1,23 @@
+
+trait Base {
+  private val secure_# = 10l
+}
+
+class TestUser extends Base {
+  def clsMeth(x: Int) = x
+  private def foo(x: Int) = x
+}
+
+object TestUser extends TestUser {
+  def objMeth = "a"
+
+  private def foo(x: Int) = x
+}
+
+object Test {
+  def main(args: Array[String]) {
+    TestUser.objMeth
+    // no-op, just check that it passes verification
+    println("verified!")
+  }
+}