PR# 15409 Undetected VYCP/VYCQ errors with conversion procedure/query that takes a formal generic

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2009/02/19

Class: Bug

Severity: Serious

Number: 15409

Release: 6.4.77062

Confidential: No

Status: Open

Responsible: alexk_es

Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.1.14) Gecko/20080520 Firefox/2.0.0.14 Solaris 10 on SPARC 64-bit

Synopsis: Undetected VYCP/VYCQ errors with conversion procedure/query that takes a formal generic

Description

A system has two classes.  One of the classes is a generic class, which has
a conversion procedure and conversion query that convert from (or to) the
formal generic parameter G.  This gives rise to two types that convert to each
other via both a conversion procedure and a conversion query, but the compiler
does not report any VYCQ or VYCP errors.

Added eweasel test valid242 for this bug.

To Reproduce

Run eweasel test valid242.

Problem Report Interactions