PR# 16995 Generic root type with actual generic not found from root class causes incorrect VSRT(2)

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/07/28

Class: Bug

Severity: Non-critical

Number: 16995

Release: 6.7.83946

Confidential: No

Status: Analyzed

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: Generic root type with actual generic not found from root class causes incorrect VSRT(2)

Description

A root type "TEST [TEST2]" where TEST is a generic class that does not
reference TEST2 should be valid if TEST2 is in the root cluster.
But the compiler reports a VSRT(2) error.  This is quite confusing, since
according to the error message there should be no error, because TEST2
*is* in the root cluster.  If this is not a defect (i.e. is intentional),
then the error message needs to be improved.

Added eweasel test config022 for this (potential) bug.

If I'm wrong, please correct the test.

To Reproduce

Run eweasel test config022.

Problem Report Interactions

From:manus_eiffel Date:2010/07/29 Status: Analyzed Download

I believe you are right. The standard says it should be in the universe, it does not restrict it to the system as we are currently doing.