hphp/hack/test/typecheck/this3.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 class X<T1, T2> {
  13
  14   private T1 $x;
  15
  16   public function __construct(T1 $x) {
  17     $this->x = $x;
  18   }
  19
  20   public function foo(): this {
  21     return $this;
  22   }
  23
  24   public function bar(): T1 {
  25     return $this->x;
  26   }
  27 }
  28
  29 class Y<T1, T2> extends X<int, T2> {
  30
  31   public function test(): int {
  32     return $this->foo()->bar();
  33   }
  34 }