Related content
Previous snippet
...if neither a name or a short name are given in the declaration of a usage with an owned redefinition, then its effective name and short name are implicitly determined by the name and short name of the redefining usage of its first owned redefinition (which may itself be an implicit name, if the redefined usage is itself a redefining usage).
Next snippet
May have a typo
Should probably be:
...if neither a name or a short name are given in the declaration of a usage with an owned redefinition, then its effective name and short name are implicitly determined by the name and short name of the REDEFINED usage of its first owned redefinition (which may itself be an implicit name, if the redefined usage is itself a redefining usage).Visit also issue tracking note:
