Warnign "Type not assignable to same type" when in a default part of switch statement

[terrylucas]

This is a weird bug:

  switch (a) {
    case 1:
      return new ReturnValue(2012, f.fetch);
    default:
      return new ReturnValue(2012, f.fetch);
  }

The statement inside of case 1 works however the same statement inside of the default generates the warning

      () -> String is not assignable to String

Here's a small sample, note: If BaseValue doesn't exist and Return value contains both int n and String s everything works find.

  class Foobar {
    String value;

    Foobar() {
      value = "testit";
    }
    String get fetch() => value;
  }

  class BaseValue {
    String s;
    BaseValue(this.s);
  }

  class ReturnValue extends BaseValue {
    int n;
    ReturnValue(this.n, String s) : super(s);
  }

  class test {
    testit(int a) {
      Foobar f = new Foobar();
      switch (a) {
        case 1:
          return new ReturnValue(2012, f.fetch);
        default:
          return new ReturnValue(2012, f.fetch);
      }
    }
  }

[kasperl]

Set owner to @karlklose.
Added Triaged label.

[karlklose]

I cannot reproduce this bug. Dart2js should current not produce assignability warnings at all.

I remember that there was a problem in the dart editor (one or two weeks ago), where the type of an invoked getter for a property of type T was calculated as ()->T.

Is this still an issue?

[kasperl]

Added AssumedStale label.