| // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // Regression test case for dart2js bug where the getter for y wasn't |
| // properly mixed in. |
| |
| import "package:expect/expect.dart"; |
| |
| class C { |
| int x = -1; |
| int get y => x; |
| } |
| |
| class E { |
| int z = 10; |
| } |
| |
| class D extends E with C { |
| int w = 42; |
| } |
| |
| main() { |
| var d = new D(); |
| d.x = 37; |
| Expect.equals(37, d.x); |
| Expect.equals(10, d.z); |
| Expect.equals(42, d.w); |
| Expect.equals(37, d.y); |
| } |