PR# 16797 Remote anchor whose type is formal generic crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/05/31
Class: Bug
Severity: Serious
Number: 16797
Release: 6.6.83355
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x86
Synopsis: Remote anchor whose type is formal generic crashes compiler

Description
A remote anchor 

   y: like {TEST1}.x

where

   x: G

and G is a formal generic parameter (constrained or not) crashes
the compiler with a call on Void target:

-------------------------------------------------------------------------------
FORMAL_A            instantiated_in @1                                  
<000000000DCFDC58>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------

Added eweasel test anchor012 for this bug.
To Reproduce
Run eweasel test anchor012.
Problem Report Interactions
From:alexk_es    Date:2010/06/01    Status: Closed    Download   
Fixed in rev#83412 of EiffelStudio 6.7 intermediate release.