Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / conditional_decl.php
blob272e2d7084da6e5f0cae6b5073f06d1f3f1954fd
1 <?hh
2 /**
3 * Copyright (c) 2014, Facebook, Inc.
4 * All rights reserved.
6 * This source code is licensed under the BSD-style license found in the
7 * LICENSE file in the "hack" directory of this source tree. An additional grant
8 * of patent rights can be found in the PATENTS file in the same directory.
12 if (true) {
13 function f(): void {}
14 } else {
15 function g(): void {}