blob: 7d0d44cd5f40fe9d91efe673b50c5a9806d97811 [file] [log] [blame]
// 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.
import "package:expect/expect.dart";
class ComparableMixin<E> {
e() {
return E;
}
}
class KUID extends Object with ComparableMixin<KUID> {}
@NoInline()
@AssumeDynamic()
dyn(x) => x;
main() {
var kuid = new KUID();
Expect.equals(kuid.runtimeType.toString(), kuid.e().toString());
Expect.equals(dyn(kuid).runtimeType.toString(), dyn(kuid).e().toString());
}