Community
Participate
Working Groups
The Introduce Parameter refactoring should not only allow to choose the name of the parameter, but also the type (from all allowed subtypes of the choosen expression).
IMO we can only offer all super types. Otherwise the calling side will not compile. Can be achieved by combining introduce paramter with generalize type.
Of course I *did* mean supertypes... :o