PR# 18282 Bracket operator call on multi-constrained formal generic incorrectly called VTMC(1)

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2012/07/27

Class: Bug

Severity: Serious

Number: 18282

Release: 7.1.88986

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:13.0) Gecko/20100101 Firefox/13.0 Solaris 10 on x86

Synopsis: Bracket operator call on multi-constrained formal generic incorrectly called VTMC(1)

Description

A class with a multi-constrained formal generic, where both constraining
classes have a feature with a bracket alias "[]" causes the compiler to
incorrectly report a VTMC(1) error (no constraining type has a feature with
that name) instead of a VTMC(2) error (more than one constraining type has a
feature with that name).  A similar call with operator "+" is correctly
reported to violate VTMC(2).

Added test multicon062 for this bug.

To Reproduce

Run test multicon062.

Problem Report Interactions

From:alexk_es Date:2013/11/09 Status: Closed Download

Fixed in rev#93295 of EiffelStudio 13.11 intermediate release.