Fixes Issue 4528 - Better diagnostic on non-virtual abstract method.