Fixed in rev#83443 of EiffelStudio 6.7 intermediate release.
At the moment the compiler reports the error twice - when processing class TEST and when processing class TEST1. The example is modified to reflect this behaviour with duplicate error messages. Please, reopen the bug if you feel this is incorrect.