PR# 19980 Conversion procedures with the same feature name

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

Description
When we have two conversion procedures 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

create

	f

convert

	f ({CC}),
	f ({DD})

feature

	f (a: DD)
		do
		end

end
~~~~
class CC

inherit

	DD

end
~~~~
class DD

end
Problem Report Interactions