Starting from rev#101613 of EiffelStudio 18.05, the compiler reports a violation of VHPR(5): different generic derivations are ancestors of the same class.