| Index: tests/language_strong/covariant_subtyping_unsafe_call1_test.dart
|
| diff --git a/tests/language_strong/covariant_subtyping_unsafe_call1_test.dart b/tests/language_strong/covariant_subtyping_unsafe_call1_test.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..79fced239fae75c0396c9b98a9c4bf2c5d9d7b56
|
| --- /dev/null
|
| +++ b/tests/language_strong/covariant_subtyping_unsafe_call1_test.dart
|
| @@ -0,0 +1,14 @@
|
| +// Copyright (c) 2016, 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 Foo<T> {
|
| + method(T x) {}
|
| +}
|
| +
|
| +main() {
|
| + Foo<int> intFoo = new Foo<int>();
|
| + Foo<num> numFoo = intFoo;
|
| + Expect.throws(() => numFoo.method(2.5));
|
| +}
|
|
|