Anchored types that use arguments as anchors are not part of Eiffel standard. They are not rejected by EiffelStudio for backward compatibility, but their complete support is not planned either, because there is no specification that can be used to implement them.