blob: dffa91397c4b7cfabef56f13e390a77195357295 [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.
// 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