https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113350
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Ever confirmed|0 |1
CC| |ebotcazou at gcc dot gnu.org
Last reconfirmed| |2024-01-19
Summary|Class wide renaming |class-wide renaming
|primitive. |primitive
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The reproducer does not compile:
test_20240110_renproc.adb:31:24: error: no selector "Put_Line" for private type
"Ada.Text_Io.File_Type"
test_20240110_renproc.adb:35:24: error: no selector "Put_Line" for private type
"Ada.Text_Io.File_Type"
test_20240110_renproc.adb:40:24: error: no selector "Put_Line" for private type
"Ada.Text_Io.File_Type"
