1 files changed, 14 insertions, 0 deletions
diff --git a/tests/untried/neg/t5617.scala b/tests/untried/neg/t5617.scala
new file mode 100644
index 000000000..41541b5e9
--- /dev/null
+++ b/tests/untried/neg/t5617.scala
@@ -0,0 +1,14 @@
+trait A {
+  def foo(i: Int)(b: String): Int
+  def foo(u: Unit): Int // not reported
+  def foo(x: Float): Int // not reported
+}
+trait B[X] extends A {
+  def foo(x: X): Int
+  def foo(u: Unit): Int
+  final def foo(x: Float): Int = 0 // not reported
+}
+trait C extends B[Boolean] {
+  override def foo(s: String): Int
+  val foo = 0 // not reported
+}