| Index: pkg/kernel/testcases/reify/generic_methods_reuse_type_variables_test.dart
|
| diff --git a/pkg/kernel/testcases/reify/generic_methods_reuse_type_variables_test.dart b/pkg/kernel/testcases/reify/generic_methods_reuse_type_variables_test.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..f21305f06350a4c1e1ee564b800747d882aefaf8
|
| --- /dev/null
|
| +++ b/pkg/kernel/testcases/reify/generic_methods_reuse_type_variables_test.dart
|
| @@ -0,0 +1,21 @@
|
| +// Copyright (c) 2017, 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 type parameter can be passed as a type argument in a definition of
|
| +// a local variable, and that this local variable is correctly constructed.
|
| +
|
| +library generic_methods_reuse_type_variables_test;
|
| +
|
| +import "test_base.dart";
|
| +
|
| +int fun<T extends String>(T t) {
|
| + List<T> list = <T>[t, t, t];
|
| + expectTrue(list is List<String>);
|
| + expectTrue(list is! List<int>);
|
| + return list.length;
|
| +}
|
| +
|
| +main() {
|
| + expectTrue(fun<String>("foo") == 3);
|
| +}
|
|
|