DartVM: getter may override a method in an interface

[DartBot]

This issue was originally filed by ief...@unipro.ru

---

What steps will reproduce the problem?
consider the following test:

interface S {
  void m();
}

interface I extends S {
  int m;
}

class A implements I {}

main() {
    new A().m;
}

What is the expected output? What do you see instead?
Expected: compile-time error
Actual: successful completion

What version of the product are you using? On what operating system?
DartVM r2810

Please provide any additional information below.
co19 tests:
LangSpecTest/08_Interfaces/2/Getters/and/Setters/A03/t02: Fail
LangSpecTest/08_Interfaces/2/Getters/and/Setters/A03/t03: Fail

[DartBot]

This comment was originally written by ief...@unipro.ru

---

The same works for setters, see co19 tests
LangSpecTest/08_Interfaces/2/Getters/and/Setters/A07/t02: Fail
LangSpecTest/08_Interfaces/2/Getters/and/Setters/A07/t03: Fail
LangSpecTest/08_Interfaces/2/Getters/and/Setters/A07/t04: Fail
LangSpecTest/08_Interfaces/2/Getters/and/Setters/A07/t05: Fail

[dgrove]

Added Area-VM, Triaged labels.

[iposva-google]

Marked this as being blocked by #1031.

[iposva-google]

Matthias, can you please work with Gilad to resolve whether these are still expected to be compile-time errors and whether they should be. See the blocking bug.

---

cc @gbracha.
Set owner to @mhausner.
Added Accepted label.

[gbracha]

This is spec'ed as a compile-time error and there is no plan to change it AFIK. More specifically, interface I should cause an error, as it has both a getter and a method of the same name.

[DartBot]

This comment was originally written by @seaneagan

---

Just want to note that issue #1616 proposes to make legal overriding methods with getters (and vice versa). In that proposal, it would be a static type warning for the return type of the overriding getter to not be a subtype of the function type matching the signature of the overridden method (or vice versa).

[DartBot]

This comment was originally written by @mhausner

---

We eliminated explicit interfaces.

---

Added AssumedStale label.
Marked this as being blocked by #1031.
Unmarked this as being blocked by #1031.