PR# 20051 EQA_SYSTEM_PATH violates VYCP-4

Problem Report Summary
Submitter: gobobe
Category: EiffelTest
Priority: Low
Date: 2026/11/06
Class: Bug
Severity: Non-critical
Number: 20051
Release: 26.09.9.9100
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: EQA_SYSTEM_PATH violates VYCP-4

Description
In class EQA_SYSTEM_PATH we can see:

```eiffel
convert
	make ({ARRAY [STRING_8], ARRAY [READABLE_STRING_8], ARRAY [IMMUTABLE_STRING_8], ARRAY [STRING_32],
		ARRAY [READABLE_STRING_32], ARRAY [IMMUTABLE_STRING_32], ARRAY [READABLE_STRING_GENERAL]})
```

This violates ECMA's validity rule VYCP-4:

```
4. SOURCEs base class is different from the base class of any other
   conversion type listed for a Conversion_procedure in the Converters
   clause of C.
```

Is there a way to make this class compliant with ECMA, or should this ECMA rule be relaxed in some way in order to accept this class?

--
Eric Bezault
To Reproduce

										
Problem Report Interactions