PR# 16868 Qualified anchored type with actual generic that does not meet constraint causes crash

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/18
Class: Bug
Severity: Serious
Number: 16868
Release: 6.6.83355
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10 Solaris 10 on SPARC
Synopsis: Qualified anchored type with actual generic that does not meet constraint causes crash

Description
A qualified anchored type that has an actual generic that does not meet
the formal generic constraint should be a VTCG error but the compiler
accepts it and proceeds to crash with:

-------------------------------------------------------------------------------
EXTERNAL_BW         generate_metamorphose_end @2
<000000000638DD78>  (From CALL_ACCESS_B)   Feature call on void target.  Fail
-------------------------------------------------------------------------------

I believe this has already been fixed in 6.7.

Added eweasel test anchor029 for this bug.
To Reproduce
Run eweasel test anchor029.
Problem Report Interactions
From:manus_eiffel    Date:2010/06/18    Status: Closed    Download   
It is passing now.