PR# 17942 Changing generic classes to non-generic in system that uses QATs crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/11/04
Class: Bug
Severity: Serious
Number: 17942
Release: 7.0.87691
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 x86
Synopsis: Changing generic classes to non-generic in system that uses QATs crashes compiler

Description
After initial compilation of a system that uses qualified anchored types,
changing generic classes to be non-generic (in two steps) crashes the
compiler with a call on Void target in {GEN_TYPE_A}.static_type_id.
Compiling the final classes from scratch works fine.

Added test incr419 for this incrementality bug.
To Reproduce
Run test incr419.
Problem Report Interactions
From:alexk_es    Date:2015/12/03    Status: Closed    Download   
Fixed in rev#98186 of EiffelStudio 15.11 intermediate release (assertion-enabled version).

From:prestoat2000    Date:2014/07/18    Status: Closed    Download   
Apparently fixed in rev 95379 and associated test incr419 now passes.