|  | // Copyright (c) 2018, 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. | 
|  |  | 
|  | import "package:expect/expect.dart"; | 
|  |  | 
|  | // A mixin declaration introduces a static scope. | 
|  | // Instance members keep seeing this scope when mixed in. | 
|  |  | 
|  | abstract class UnaryNum { | 
|  | num foo(num x); | 
|  | } | 
|  |  | 
|  | mixin M1 on UnaryNum { | 
|  | static int counter = 0; | 
|  | static int next() => ++counter; | 
|  | int count() => foo(next()) as int; | 
|  | } | 
|  |  | 
|  | class C1 implements UnaryNum { | 
|  | static int counter = 87; | 
|  | static int next() => 42; | 
|  | num foo(num x) => x * 10; | 
|  | } | 
|  |  | 
|  | class A1 = C1 with M1; | 
|  |  | 
|  | main() { | 
|  | Expect.equals(0, M1.counter); | 
|  | Expect.equals(1, M1.next()); | 
|  | Expect.equals(2, M1.next()); | 
|  | var a = A1(); | 
|  | Expect.equals(30, a.count()); | 
|  | Expect.equals(40, a.count()); | 
|  | Expect.equals(5, M1.next()); | 
|  | } |