java compiler, generics и наследование

Суть тут в том, что вы явно не указали, какой тип в дженерике будет, то есть компилятор не знает об этом, а это чревато ошибкой в рантайме. То есть в приведеном вами коде можно написать так:

Contract obj = new Impl();
obj.doIt("123"); //можно передать String и компилятор это съест

Но когда вы запустите этот код, вы получите ClassCastException. Почему? Потому что в случае с дженериком в параметре метода компилятор создает так называемый bridge-метод и после компиляции ваш класс Impl будет иметь 2 метода:

public void doIt(Integer arg) {
    System.out.println("hi");
}

public void doIt(Object arg) {
    doIt((Integer) arg); //тут ClassCastException
}

компилятор вежливо предупреждает, что Unchecked call

Собственно, предупреждает, потому что если вы напишите вот так:

Contract<Integer> obj = new Impl();

то передаваемый в этот bridge-метод параметр будет проверен на этапе компиляции и не даст вам выстрелить в ногу.

Рекомендую