Reproducer for #459

CONTRIBUTING.md

@@ -38,6 +38,7 @@ To add a new functional test to the suite, create a new folder within the 'funct
             |-----> problems.txt (the expected list of reported errors - 1 line per error)
             |-----> v1 (folder containing sources @ version 1)
             |-----> v2 (folder containing sources @ version 2)
+            |-----> app (folder containing app using the tested code)
 
 After doing that, `reload` if you are in an `sbt` shell session (if that makes no sense to you, it means you are fine and you can run the test as usual).
 

functional-tests/src/test/class-method-implementation-result-type-changed-nok/app/App.scala

@@ -0,0 +1,3 @@
+object Main extends App {
+  println(new Foo().bar)
+}

functional-tests/src/test/class-method-implementation-result-type-changed-nok/problems.txt

@@ -0,0 +1 @@
+method bar()Int in class Foo has a different result type in new version, where it is Long rather than Int

functional-tests/src/test/class-method-implementation-result-type-changed-nok/v1/Foo.scala

@@ -0,0 +1,6 @@
+abstract class Super {
+  def bar: Number
+}
+class Foo extends Super {
+  override def bar = 42
+}

functional-tests/src/test/class-method-implementation-result-type-changed-nok/v2/Foo.scala

@@ -0,0 +1,6 @@
+abstract class Super {
+  def bar: Number
+}
+class Foo extends Super {
+  override def bar = 42L
+}

functional-tests/src/test/class-method-result-type-changed-nok/app/App.scala

@@ -0,0 +1,3 @@
+object Main extends App {
+  println(new Foo().bar)
+}

functional-tests/src/test/class-method-result-type-changed-nok/problems.txt

@@ -0,0 +1 @@
+method bar()Int in class Foo has a different result type in new version, where it is Long rather than Int

functional-tests/src/test/class-method-result-type-changed-nok/v1/Foo.scala

@@ -0,0 +1,3 @@
+class Foo {
+  def bar = 42
+}

functional-tests/src/test/class-method-result-type-changed-nok/v2/Foo.scala

@@ -0,0 +1,3 @@
+class Foo {
+  def bar = 42L
+}