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 (22.12.10.6463 - win64)
Confidential: No
Status: Open
Responsible:
Environment: win64
Synopsis: {ANY}.deep_twin fails with detachable separate generic objects.
Description
{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