Bad test is produced when use concrete classes for implementing interface with generic #2450

public class Implementations {

    public interface A<T> {
        T getValue();
    }

    public static class AImpl implements A<String> {

        private final String value;

        public AImpl(String value) {
            this.value = value;
        }

        @Override
        public String getValue() {
            return value;
        }
    }

    public static int test(A<Integer> value) {
        if (value.getValue() < 0) {
            return 0;
        }
        return value.getValue();
    }
}

    @Test
    @DisplayName("test: arg_0 = AImpl(String) -> throw ClassCastException")
    public void testTestThrowsCCE() {
        AImpl aImpl = new AImpl("-3E");
        
        /* This test fails because method [sanity.Implementations.test] produces [java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer]
            sanity.Implementations.test(Implementations.java:24) */
        Implementations.test(aImpl);
    }