| // Copyright (c) 2011, 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. |
| |
| /** |
| * @assertion Consider a return statement s of the form return e?; |
| * ... |
| * It is a compile-time error if s is |
| * return;, unless T is void, dynamic, or Null |
| * |
| * @description Checks that a compile time error occurs if a statement of the |
| * form "return;" is used in a top-level method whose declared return type is |
| * int. |
| * |
| * @Issue 42459 |
| * @author vasya |
| */ |
| |
| int bar() { |
| return; |
| //^^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| } |
| |
| main() { |
| bar(); |
| } |
