POLL: what would you prefer for type alias occurrences in subclasses?

Hi all,
Currently in the following code:
trait Base { type T def foo(t: T) } class Derived extends Base { type T = String } ]]>

when invoking implement method on 'foo' you get a signature 'def foo(t: String)'. The signature with unsubstituted 'T' will be equivally valid. So what would you expect from the code generation in this case? Just don't tell me you prefer an option in UI - this will be too difficult to explain:)


Edited by: Eugene Vigdorchik on Oct 19, 2008 8:21 PM

Permanently deleted user

I would personally prefer no substitution, since this way the migration to other aliased type will be localized in alias definition only. So for now this is the action's behavior.