| Index: tests/language_2/void_type_callbacks_test.dart
|
| diff --git a/tests/language_2/void_type_callbacks_test.dart b/tests/language_2/void_type_callbacks_test.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..ea6fe9e2eba422d3d76a3bd37b4c2ccb85fb6958
|
| --- /dev/null
|
| +++ b/tests/language_2/void_type_callbacks_test.dart
|
| @@ -0,0 +1,40 @@
|
| +// 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.
|
| +
|
| +// Dart test for type checks involving callbacks and the type void.
|
| +
|
| +import 'package:expect/expect.dart';
|
| +
|
| +class A<T> {
|
| + T x;
|
| +
|
| + foo(T x) {
|
| + }
|
| +
|
| + T bar(T f()) {
|
| + T tmp = f();
|
| + return tmp;
|
| + }
|
| +
|
| + gee(T f()) {
|
| + x = bar(f);
|
| + }
|
| +
|
| + Object xAsObject() => x;
|
| +}
|
| +
|
| +void voidFun() => 499;
|
| +int intFun() => 42;
|
| +
|
| +main() {
|
| + A<void> a = new A<void>();
|
| + a.foo(a.x); //# 00: compile-time error
|
| + a.bar(voidFun);
|
| + Expect.equals(null, a.xAsObject());
|
| + a.x = a.bar(voidFun); //# 01: compile-time error
|
| + a.gee(voidFun);
|
| + Expect.equals(499, a.xAsObject());
|
| + a.gee(intFun);
|
| + Expect.equals(42, a.xAsObject());
|
| +}
|
|
|