PR# 15451 Compiler reports VEVI error on `default' for class that inherits from expanded class

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2009/03/02

Class: Bug

Severity: Serious

Number: 15451

Release: 6.4.77252

Confidential: No

Status: Closed

Responsible: manus_eiffel

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.1.14) Gecko/20080520 Firefox/2.0.0.14 Solaris 10 on SPARC

Synopsis: Compiler reports VEVI error on `default' for class that inherits from expanded class

Description

The compiler reports what seems to be a bogus VEVI error on `default' from
ANY for a class that inherits from an expanded class.  I assume this is a
compiler bug, since there is no way to fix the error because `default' is
frozen (except to prohibit inheriting from an expanded classes, which doesn't
seem right).

Added eweasel test attach055 for this bug.

To Reproduce

Run eweasel test attach055.

Problem Report Interactions

From:alexk_es Date:2021/11/26 Status: Closed Download

Fixed in rev#105492.