From 3b0b4d7480627d3d19a5745a7163c5b9e3d8f16b Mon Sep 17 00:00:00 2001 From: Iulian Dragos Date: Tue, 2 Nov 2010 18:01:54 +0000 Subject: Closes #3973. Review by extempore. --- test/files/run/duplicate-meth.check | 1 + test/files/run/duplicate-meth.scala | 23 +++++++++++++++++++++++ 2 files changed, 24 insertions(+) create mode 100644 test/files/run/duplicate-meth.check create mode 100644 test/files/run/duplicate-meth.scala (limited to 'test/files/run') 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!") + } +} -- cgit v1.2.3