Предположим, что:
@required
Во время компиляции информация об этом методе известна: т.е. что он необходим и что этот класс и любые другие классы, которые этот класс может расширять, не реализуют его.
Почему в этом случае компилятор выдает предупреждение, а не ошибку?