On Tuesday, 27 October 2015 at 23:15:39 UTC, Tofu Ninja wrote:
An alternative solution could be that if you provide a header to a class and don't include the auto override body, then the auto override functionality is removed and the method is treated as a regular method from that point on(with the most recent version of the method being the one that is used). This would allow the class to still be inherited later on.
I think it's a bad idea. The usage or lack of usage of header files should not change the code behavior.
