PR# 16839 Qualified anchored type as actual generic in generic constraint crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/10
Class: Bug
Severity: Serious
Number: 16839
Release: 6.6.83355
Confidential: No
Status: Closed
Responsible: alexk_es
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 as actual generic in generic constraint crashes compiler

Description
A generic class with header

   class TEST1 [G -> PARENT [like {TEST2}.x]]

crashes the compiler with:

-------------------------------------------------------------------------------
TYPE_A_CHECKER      check_constraint_type @3
<0000000006431D78>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------

Added eweasel test anchor024 for this bug (possibly already fixed in 6.7).

I think this should be VCFG(*3) error, but you can correct the tcf if I'm wrong.

To Reproduce
Run eweasel test anchor024.
Problem Report Interactions
From:alexk_es    Date:2010/06/10    Status: Closed    Download   
Fixed in rev#83523 of EiffelStudio 6.7 intermediate release.

From:manus_eiffel    Date:2010/06/10    Status: Analyzed    Download   
This is still failing at the moment.