Наследование реализации

[r_r_f_r]

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

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

[etc]

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

[SamFR]

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

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

[Exclude(name="elementName", kind="property|method|event|style|effect")]

Жаль, конечно, что он не запрещает обращаться к исключённому члену, но иначе это было бы уже не наследование типа =)