Почему здесь ошибка компиляции в строке THREE?

class WildCard {
interface BI {}
interface DI extends BI {}
interface DDI extends DI {}

static class C<T> {}

static void foo(C<? super DI> с) {}

public void call() {
foo(new C<BI>()); //ONE
foo(new C<DI>()); //TWO
foo(new C<DDI>()); //THREE
foo(new C()); //FOUR
}
}

вЕДЬ КОМПИЛЯТОР НЕ ВИДИТ ПАРАМЕТРИЗАЦИИ. ДОЛЖНА БЫТЬ ОШИБКА ВРЕМЕНИ ВЫПОЛНЕНИЯ