Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / abstract_implement2.php
blob13e0a445e574d38e407614f6d7817697b2df4f36
1 <?hh // strict
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 // Allow delayed implementation for abstract classes
14 interface IFace<T> {
15 public function foo(): T;
18 abstract class AClass<T> implements IFace<T> {}
20 class BClass extends AClass<bool> {
21 public function foo(): int {
22 return $this->foo();