Files
Robert Nystrom b4d17e9c07 Migrate language_2/generic_methods to NNBD.
Change-Id: I3ec18bb7e7cfb087a58d744d357bf004c0438ba9
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/147813
Commit-Queue: Bob Nystrom <rnystrom@google.com>
Auto-Submit: Bob Nystrom <rnystrom@google.com>
Reviewed-by: Erik Ernst <eernst@google.com>
2020-05-14 01:41:56 +00:00

42 lines
894 B
Dart

// 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 a generic closure is correctly constructed.
library generic_methods_closure_test;
import "package:expect/expect.dart";
class A {}
class I<T> {}
class B extends I<B> {}
void fun<T>(List<T> list) {
var helper1 = <S>(List<S> list) {
if (list.length > 0) {
Expect.isTrue(list[0] is S);
}
Expect.isTrue(list is List<S>);
Expect.isTrue(list is List<T>);
};
void helper2<S>(List<S> list) {
if (list.length > 0) {
Expect.isTrue(list[0] is S);
}
Expect.isTrue(list is List<S>);
Expect.isTrue(list is List<T>);
}
helper1<T>(list);
helper2<T>(list);
}
main() {
List<B> list = <B>[new B()];
fun<B>(list);
}