blob: 02e996670454545cd9ed47805ce28c5dfb91dad7 [file] [log] [blame]
// 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 The special type void may only be used as the return type of a
* function: it is a compile-time error to use void in any other context.
* For example, as a type argument, or as the type of a variable or parameter.
* @description Checks that with generalized void specifying [void] as a
* function's parameter type causes no compile-time error.
* @author iefremov
*/
main() {
f(void a) {};
}