There are other places where anchored types are currently not allowed,
where they should perhaps be allowed if the type cannot change in
descendant classes.  For example, the following seem to me like they
ought to be allowed:

   inherit
         MY_GENERIC_CLASS [like {TEST}.x]
   convert
         from_type ({like {TEST}.x})