From 9831856ce76ecce7adef7bfe4ed4e721a4e664a4 Mon Sep 17 00:00:00 2001
From: Chungmin Lee <chungminlee@microsoft.com>
Date: Fri, 19 Apr 2024 22:58:34 +0000
Subject: [PATCH] Add test

---
 .../app/App.scala                                   |  7 +++++++
 .../problems.txt                                    |  0
 .../v1/A.scala                                      |  4 ++++
 .../v2/A.scala                                      | 13 +++++++++++++
 4 files changed, 24 insertions(+)
 create mode 100644 functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/app/App.scala
 create mode 100644 functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/problems.txt
 create mode 100644 functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v1/A.scala
 create mode 100644 functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v2/A.scala

diff --git a/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/app/App.scala b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/app/App.scala
new file mode 100644
index 000000000..07f3d046e
--- /dev/null
+++ b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/app/App.scala
@@ -0,0 +1,7 @@
+object App {
+  def main(args: Array[String]): Unit = {
+    val b = new B {}
+    b.foo(1)
+    b.foo(-1)
+  }
+}
diff --git a/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/problems.txt b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/problems.txt
new file mode 100644
index 000000000..e69de29bb
diff --git a/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v1/A.scala b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v1/A.scala
new file mode 100644
index 000000000..e7699b0c5
--- /dev/null
+++ b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v1/A.scala
@@ -0,0 +1,4 @@
+trait A {
+  def foo(a: Int) = println(s"A.foo $a")
+}
+trait B extends A
diff --git a/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v2/A.scala b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v2/A.scala
new file mode 100644
index 000000000..a017a2112
--- /dev/null
+++ b/functional-tests/src/test/trait-inherits-new-trait-with-concrete-method2-ok/v2/A.scala
@@ -0,0 +1,13 @@
+trait A {
+  def foo(a: Int) = println(s"A.foo $a")
+}
+trait AA extends A {
+  override def foo(a: Int) = {
+    if (a > 0) {
+      println(s"AA.foo $a")
+    } else {
+      super.foo(a)
+    }
+  }
+}
+trait B extends AA