PR# 19585 Obsolete feature INTERNAL.type_name

Problem Report Summary
Submitter: gobobe
Category: EiffelBase
Priority: Low
Date: 2019/10/02
Class: Bug
Severity: Serious
Number: 19585
Release: 19.08
Confidential: No
Status: Closed
Environment: win
Synopsis: Obsolete feature INTERNAL.type_name

Feature `INTERNAL.type_name` as been marked as obsolete. But `INTERNAL.type_name_32` is not available on 19.05, which makes it impossible to have code which compiles both with 19.05 and with 19.08 without any obsolete warnings.

Please consider adding `INTERNAL.type_name_32` in at least one official release before marking  `INTERNAL.type_name` as obsolete.

Eric Bezault
To Reproduce

Problem Report Interactions
From:gobobe    Date:2020/01/15    Status: Closed    Download   

From:gobobe    Date:2019/10/08    Status: Analyzed    Download   

From:alexk_es    Date:2019/10/08    Status: Analyzed    Download