hphp/hack/test/typecheck/test_to_sort_construct.php

   1 <?hh // strict
   2 /**
   3  * Copyright (c) 2014, Facebook, Inc.
   4  * All rights reserved.
   5  *
   6  * This source code is licensed under the MIT license found in the
   7  * LICENSE file in the "hack" directory of this source tree.
   8  *
   9  *
  10  */
  11
  12 // Checking that the initialization of constructors is properly detected
  13
  14 class A {
  15   private int $x;
  16
  17   public function __construct(int $x) {
  18     if (true) {
  19       $this->x = $x;
  20     } else {
  21       $y = f();
  22       $this->init();
  23     }
  24   }
  25
  26   private function init(): void {
  27     $this->x = 0;
  28     $this->init();
  29   }
  30 }
  31
  32 class B extends A {
  33
  34   public function __construct() {
  35     parent::__construct(1);
  36     $x = new A(0);
  37   }
  38
  39 }
  40
  41 function f(): int {
  42   return 10;
  43 }