Interfaces do not inherit static variables

[DartBot]

This issue was originally filed by [email protected]

---

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

interface S {
  static final int foo = 1;
}

interface I extends S {
}

main() {
  Expect.equals(S.foo, I.foo);
}

What is the expected output? What do you see instead?
Expected: successful completion, since this is allowed by the spec.
Actual: Error: line 23 pos 26: unknown static field 'foo' Expect.equals(S.foo, I.foo);

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

Please provide any additional information below.
co19 test:
LangSpecTest/08_Interfaces/4_Superinterfaces/1/Inheritance/and/Overriding/A01/t02

[dgrove]

Added Area-VM, Triaged labels.

[iposva-google]

Matthias, there was quite a bit of change in this area since last Decemeber, can you please verify the current status and mark this bug accordingly? Thanks!

---

Set owner to @mhausner.
Added Accepted label.

[DartBot]

This comment was originally written by @mhausner

---

My reading of the spec is that static members of interfaces are not inherited by subinterfaces.

Gilad, can you confirm that? If so, I will file a co19 bug to have the test removed. These days, the test is

dart/tests/co19/src/Language/08_Interfaces/4_Superinterfaces/1_Inheritance_and_Overriding_A01_t02.dart

---

Set owner to @gbracha.

[gbracha]

Yes. Static members are not inherited.

[DartBot]

This comment was originally written by @mhausner

---

Filed co19 issue #131 to have test Language/08_Interfaces/4_Superinterfaces/1_Inheritance_and_Overriding_A01_t02 removed from the suite. The VM is doing the correct thing:

1_Inheritance_and_Overriding_A01_t02.dart': Error: line 24 pos 26: unknown static field 'foo'
  Expect.equals(S.foo, I.foo);

---

Set owner to @mhausner.
Added Invalid label.