From cb7711db82c381848a6571047c68145e4f2d3c46 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 16 Nov 2006 11:02:01 +0000 Subject: --- test/files/neg/overload.check | 7 +++++++ test/files/neg/overload.scala | 11 +++++++++++ 2 files changed, 18 insertions(+) create mode 100644 test/files/neg/overload.check create mode 100644 test/files/neg/overload.scala (limited to 'test/files/neg') diff --git a/test/files/neg/overload.check b/test/files/neg/overload.check new file mode 100644 index 0000000000..65e6a9dc81 --- /dev/null +++ b/test/files/neg/overload.check @@ -0,0 +1,7 @@ +overload.scala:10 error: erroneous reference to overloaded definition, +most specific definition is: method f in class C of type (scala.Int)scala.Unit, +yet alternative definition method f in class D of type (scala.Any)scala.Unit +is defined in a subclass + (new D).f(1) + ^ +one error found diff --git a/test/files/neg/overload.scala b/test/files/neg/overload.scala new file mode 100644 index 0000000000..311ea3874b --- /dev/null +++ b/test/files/neg/overload.scala @@ -0,0 +1,11 @@ +class C { + def f(x: int) {} +} + +class D extends C { + def f(x: Any) {} +} + +object Test { + (new D).f(1) +} -- cgit v1.2.3