PR# 19743 Class rename failed, due to compilation error after renaming

Problem Report Summary
Submitter: HowardThomsonSurrey
Category: EiffelStudio
Priority: Low
Date: 2021/04/22
Class: Bug
Severity: Non-critical
Number: 19743
Release: 20.11
Confidential: No
Status: Open
Environment: linux
Synopsis: Class rename failed, due to compilation error after renaming

I checked that my system compiled correctly.
I right-clicked on the class name in the class to rename, and provided the new name in the dialog.
Subsequent dialog: 'Compilation was not successful. Rolback?' Clicked Yes
EiffelStudio shows 'Eiffel Compilation succeeded ...' in the Outputs window
Edit tab has the name of the re-named class, but content of the tab says 'File: .../class_name.e does not exist

The issue is not yet identified, but the class name probably appears in a restricted feature clause
feature {class_to_be_renamed} -- ???
To Reproduce

Problem Report Interactions
From:HowardThomsonSurrey    Date:2021/04/22    Status: Open    Download   
Confirmed that if the class to be renamed appears in a feature export restriction, the class name within the {} is unchanged, potentially causing the re-compilation to fail.