hphp/hack/test/typecheck/typing_fail_return_option.php

   1 <?hh // partial
   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
  13 bool function is_null(Option<T> $x) {
  14   return true;
  15 }
  16
  17 Option<int> function test() {
  18   return 0;
  19 }
  20
  21 class A {
  22   Option<A> $x;
  23
  24   public void function setX(A $x) {
  25     $this->x = $x;
  26   }
  27
  28   public A function getX(dyn $obj) {
  29     $y = (!($obj is A) || $obj->setX(new A()));
  30     $y = (($obj is A) && $obj->setX(new A()));
  31     if (($x = $this->x) && ($x is A)) {
  32       return $x;
  33     }
  34     return $this;
  35   }
  36 }