dartc doesn't handle static fields properly in interfaces

[DartBot]

This issue was originally filed by [email protected]

---

dartc fails co19 test Language/07_Classes/9_Superinterfaces_A04_t01.dart

/**
 * @­assertion An interface I inherits any members of its superinterfaces that
 * are not overridden by members declared in I.
 * @­description Checks that an interface inherits static members of its superinterfaces
 * (which can only be final initialized fields, according to grammar).
 * @­author vasya
 * @­reviewer rodionov
 * @­needsreview issue #7
 */

interface S {
  static final int foo = 1;
}

interface I extends S {
}

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

[kasperl]

Removed Area-Compiler label.
Added Area-Analyzer label.

[DartBot]

This comment was originally written by [email protected]

---

I was trying to do exactly this with WebGLRenderingContext:

interface GL extends WebGLRenderingContext { }

... so that I can write idiomatic OpenGL code like gl.clear(GL.COLOR_BUFFER_BIT) instead of the absolutely heinous gl.clear(WebGLRenderingContext.COLOR_BUFFER_BIT)

[danrubel]

Added this to the M1 milestone.

[DartBot]

This comment was originally written by [email protected]

---

This test has been modified and Gilad has clarified in isssue 967 that static members are not inherited. A similar test,

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

 is to be removed as per co19 issue #131

---

Added AssumedStale label.