PR# 19982 Conversion querieswith the same feature name

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2026/05/25
Class: Bug
Severity: Non-critical
Number: 19982
Release: 25.12.9.8922
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: Conversion querieswith the same feature name

Description
When we have two conversion queries of the form:

```eiffel
convert
    f: {CC},
    f: {DD}
```

EiffelStudio reports a VNCP validity error complaining that routine `f` is specified twice in the convert clause. But there is nothing in the Eiffel standard which forbids this. It should be equivalent to:

```eiffel
convert
    f: {CC, DD}
```

--
Eric Bezault
To Reproduce
class BB

convert

	f: {CC},
	f: {DD}

feature

	f: CC
		do
			create Result
		end

end
~~~~
class CC

inherit

	DD

end
~~~~
class DD

end
Problem Report Interactions