import nl.jqno.equalsverifier.EqualsVerifier;
import org.junit.jupiter.api.Test;

class DummyTest {
    @Test
    void has_correct_equals_and_hashcode() {
        EqualsVerifier.forClass(Dummy.class)
            .usingGetClass()
            .verify();
    }
}

import java.util.Objects;

// Base class with generic enum field
class StatefulEntity<S extends Enum<S>> {
    
    public final S state;

    protected StatefulEntity(S state) {
        this.state = state;
    }

    @Override
    public boolean equals(Object o) {
        if (this == o) return true;
        if (o == null || getClass() != o.getClass()) return false;
        StatefulEntity<?, ?> statefulEntity = (StatefulEntity<?, ?>) o;
        return Objects.equals(state, statefulEntity.state);
    }

    @Override
    public int hashCode() {
        return Objects.hash(state);
    }
}

// Concrete implementation
class Dummy extends StatefulEntity<Dummy.State> {
    private final String value;

    public Dummy(State state, String value) {
        super(state);
        this.value = value;
    }

    @Override
    public boolean equals(Object o) {
        if (o == null || getClass() != o.getClass()) return false;
        if (!super.equals(o)) return false;
        Dummy someModel = (Dummy) o;
        return Objects.equals(value, someModel.value);
    }

    @Override
    public int hashCode() {
        return Objects.hash(super.hashCode(), value);
    }

    public enum State {
        A, B
    }
}