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

1 comment
Eugene Vigdorchik
Comment actions Permalink

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.


Please sign in to leave a comment.