blob: d003741cdf10955e07a12bba90d42bc5559be762 [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());
}