В переопределённом методе выбрасываем эсепшен, получили проверку на этапе выполнения, а на этапе компиляции-написания мы можем только предупредить разработчика этим тэгом.

И из автокомпилита не исчезает, просто варнинг(на флексовом компиляторе).

Можно и [Exclude] повесить. Только я не помню, работает он на методы или нет.

Спасибо за советы, буду пробовать.

Добавлено через 2 часа 25 минут
Вроде бы [Exclude] должен работать для свойств, методов, событий, стилей и эффектов:
Жаль, конечно, что он не запрещает обращаться к исключённому члену, но иначе это было бы уже не наследование типа =)