From e958d173ac487a6e531479ce6c05d828724d1895 Mon Sep 17 00:00:00 2001
From: Jan Ouwens <jan.ouwens@gmail.com>
Date: Tue, 20 Feb 2024 14:08:17 +0100
Subject: [PATCH] Adds test case for sealed interface recursion

---
 .../SealedTypesRecursionTest.java             | 63 +++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 equalsverifier-17/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/SealedTypesRecursionTest.java

diff --git a/equalsverifier-17/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/SealedTypesRecursionTest.java b/equalsverifier-17/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/SealedTypesRecursionTest.java
new file mode 100644
index 000000000..45e9974e0
--- /dev/null
+++ b/equalsverifier-17/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/SealedTypesRecursionTest.java
@@ -0,0 +1,63 @@
+package nl.jqno.equalsverifier.integration.extended_contract;
+
+import java.util.Objects;
+import nl.jqno.equalsverifier.EqualsVerifier;
+import nl.jqno.equalsverifier.Warning;
+import org.junit.jupiter.api.Test;
+
+class SealedTypesRecursionTest {
+
+    @Test
+    public void testEV() {
+        EqualsVerifier
+            .forClass(A.class)
+            .suppress(Warning.STRICT_INHERITANCE, Warning.NONFINAL_FIELDS)
+            .verify();
+    }
+
+    class A {
+
+        public I sealedClassField;
+
+        @Override
+        public int hashCode() {
+            return Objects.hash(sealedClassField);
+        }
+
+        @Override
+        public boolean equals(Object obj) {
+            if (this == obj) {
+                return true;
+            }
+            if (!(obj instanceof A)) {
+                return false;
+            }
+            A other = (A) obj;
+            return Objects.equals(sealedClassField, other.sealedClassField);
+        }
+    }
+
+    public sealed interface I permits E {}
+
+    public final class E implements I {
+
+        public A referenceToA;
+
+        @Override
+        public int hashCode() {
+            return Objects.hash(referenceToA);
+        }
+
+        @Override
+        public boolean equals(Object obj) {
+            if (this == obj) {
+                return true;
+            }
+            if (!(obj instanceof E)) {
+                return false;
+            }
+            E other = (E) obj;
+            return Objects.equals(referenceToA, other.referenceToA);
+        }
+    }
+}