PR# 19804 Optimization in ROUTINE.flexible_call and FUNCTION.flexible_item

Problem Report Summary
Submitter: gobobe
Category: EiffelBase
Priority: Low
Date: 2021/09/28
Class: Feature Request
Severity: Non-critical
Number: 19804
Release: 21.?
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: Optimization in ROUTINE.flexible_call and FUNCTION.flexible_item

Description
I just submitted a pull request in: https://github.com/EiffelSoftware/libraries/pull/1
with two code optimizations:
* do not create a new tuple when not needed.
* do not check for conformance of items (as done in class REFLECTOR) since we already have the precondition `valid_operands`.

--
Eric Bezault
To Reproduce

										
Problem Report Interactions