blob: 4b2881c483be56a6bacf497b128be7ffb52aceb7 [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 specifying void as a function's parameter type causes a compile-time error.
* @author iefremov
* @reviewer rodionov
* @compile-error
*/
main() {
try {
f(void a) {};
} catch(x){}
}