New test case: iface-with-default-func

HISTORY.md

@@ -4,6 +4,7 @@ This file is a version history of jacotest amendments.  Entries appear in versio
 | `Date` | `Version` | `Contents` |
 | :------------: | :---: | :--- |
 |<img width=90/>|<img width=60/>|<img width=600/>|
+| 2025-01-09 | 3.5.2 | New test case: iface-with-default-func. |
 | 2024-12-30 | 3.5.1 | JACOBIN-634: report fix. |
 | 2024-12-29 | 3.4.38 | New test case: crypto-salsa must throw new AssertionError. |
 | 2024-12-28 | 3.4.37 | New test case: crypto-salsa. |

VERSION.txt

@@ -1 +1 @@
-v3.5.1
+v3.5.2

tests/iface-with-default-func/main.java

@@ -0,0 +1,24 @@
+public class main {
+
+    public static void main(String[] args) {
+        int result = -1;
+        var bc = new BronzeClass();
+        result = bc.returnAnInt();
+        assert (result == 42);
+        result = bc.bcReturnAnInt();
+        assert (result == 42);
+    }
+
+}
+
+interface BronzeFace {
+    default int returnAnInt() {
+        return 42;
+    }
+}
+
+class BronzeClass implements BronzeFace {
+    int bcReturnAnInt() {
+        return returnAnInt();
+    }
+}