I think the original test case has an intent as follows: "if derived class actually implements abstract method, compiler does not report error for it." So, this looks to me to make original test case a bit weaken.