mirror of
https://github.com/dart-lang/sdk
synced 2024-09-18 21:31:20 +00:00
b5b91448f8
BUG=http://dartbug.com/15717 R=floitsch@google.com Committed: https://code.google.com/p/dart/source/detail?r=31438 Review URL: https://codereview.chromium.org//120423006 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@31467 260f80e4-7a28-3924-810f-c04153c831b5
27 lines
617 B
Dart
27 lines
617 B
Dart
// 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.
|
|
|
|
// Test that mixins don't interfere with type variable substitution.
|
|
|
|
import 'checked_mode_helper.dart';
|
|
|
|
class B<T> {
|
|
B(T x);
|
|
}
|
|
|
|
class M {}
|
|
|
|
class A<T> extends B<T> with M {
|
|
A(T x) : super(x); // This line must be warning free.
|
|
}
|
|
|
|
class C<T> = B<T> with M;
|
|
|
|
|
|
main() {
|
|
new A(null);
|
|
new C<String>(''); /// 01: ok
|
|
checkDynamicTypeError(() => new C<String>(0)); /// 02: static type warning
|
|
}
|