| OLD | NEW | 
|   1 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file |   1 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file | 
|   2 // for details. All rights reserved. Use of this source code is governed by a |   2 // for details. All rights reserved. Use of this source code is governed by a | 
|   3 // BSD-style license that can be found in the LICENSE file. |   3 // BSD-style license that can be found in the LICENSE file. | 
|   4  |   4  | 
|   5 import "package:expect/expect.dart"; |   5 import "package:expect/expect.dart"; | 
|   6  |   6  | 
|   7 class ComparableMixin<E> { |   7 class ComparableMixin<E> { | 
|   8   e() { |   8   e() { | 
|   9     return E; |   9     return E; | 
|  10   } |  10   } | 
|  11 } |  11 } | 
|  12  |  12  | 
|  13 class KUID extends Object with ComparableMixin<KUID> { } |  13 class KUID extends Object with ComparableMixin<KUID> { } | 
|  14  |  14  | 
 |  15 @NoInline() @AssumeDynamic() | 
 |  16 dyn(x) => x; | 
 |  17  | 
|  15 main() { |  18 main() { | 
|  16   var kuid = new KUID(); |  19   var kuid = new KUID(); | 
|  17   Expect.equals(kuid.runtimeType.toString(), kuid.e().toString()); |  20   Expect.equals(kuid.runtimeType.toString(), kuid.e().toString()); | 
 |  21   Expect.equals(dyn(kuid).runtimeType.toString(), dyn(kuid).e().toString()); | 
|  18 } |  22 } | 
| OLD | NEW |