Multi-constraint formal generics: PnD on renamed feature with identical constraints

Posted May 28th, 2007 by alexk_es
in
References
Test Plan:
Multi-constraint formal generics
bug#12876
ECMA Eiffel section:
8.12 Genericity
Test procedure:
  1. Create and compile a system with the following class:
    class A [G -> {ANY rename twin as x end, ANY rename twin as x end}]
        feature
            f is
                do
                    item.x.do_nothing
                end
            item: G
        end
  2. Attempt to pick features do_nothing or x and drop to the Feature Relation tool.
Expected result:

PnD works for a renamed feature called on entity of formal generic type with indentical constraints.

Test runs

IDDatePlatformResult
trr#2851 year 12 weeks agoAll platformsFailed