| // 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 = 2.9 |
| |
| // Dart test for static checks on situations where expressions of type void |
| // can be used. The point is simply that there are no compile-time errors. |
| |
| // We need expressions of type `void`; `void x` would do, but using |
| // `void get x` will work with tools that do not yet handle `void x`. |
| void get x => null; |
| |
| void use(dynamic x) {} |
| |
| main() { |
| // In an expressionStatement `e;`, e may have type void. |
| x; |
| |
| // In the initialization and increment expressions of a for-loop, |
| // `for (e1; e2; e3) {..}`, `e1` and `e3` may have type void. |
| for (x;; x) { |
| break; |
| } |
| |
| // In a typeCast `e as T`, `e` may have type void. |
| var y = x as Object; |
| |
| // In a parenthesized expression `(e)`, `e` may have type void. |
| (x); |
| |
| // In a return statement `return e;`, when the return type of the |
| // innermost enclosing function is the type void, e may have type void. |
| void f() => x; |
| |
| void g() { |
| return x; |
| } |
| } |