PR# 19887 {ANY}.deep_twin fails with detachable separate generic objects.

Problem Report Summary
Submitter: rosivaldo
Category: EiffelBase
Priority: Low
Date: 2023/06/03
Class: Bug
Severity: Serious
Number: 19887
Release: 22.12 ( - win64)
Confidential: No
Status: Open
Environment: win64
Synopsis: {ANY}.deep_twin fails with detachable separate generic objects.

{ANY}.deep_twin may fail (either post-condition or invariant) when the target is a detachable separate generic object.
To Reproduce
Compile and run the (attached) project deep_twin_bug.ecf. Eventually the run will fail at {ANY}.deep_twin. (Attached) file exception_trace.log is an example exception trace.
Problem Report Interactions
From:rosivaldo    Date:2023/06/03    Download   
Attachments for problem report #19887

Attachment:     Size:2760