PR# 16819 Feature `value: like {G}.weasel = 47' in generic class crashes compiler
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2010/06/08
Class: Bug
Severity: Serious
Number: 16819
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: Feature `value: like {G}.weasel = 47' in generic class crashes compiler
Description
A generic class with formal generic parameter G (unconstrained) that has a feature
value: like {G}.weasel = 47
crashes the compiler with:
-------------------------------------------------------------------------------
UNEVALUATED_QUALIFIED_ANCHORED_TYPE
conformance_type @1
<000000000620B788> (From LIKE_TYPE_A) Feature call on void target. Fail
-------------------------------------------------------------------------------
This may have already been fixed but I don't have 6.7 yet, so I can't tell.
Added eweasel test anchor019 for this bug. You will need to adjust the expected
validity constraint error code in the tcf file since I wasn't certain what the compiler
should report.
To Reproduce
Run eweasel test anchor019.