hphp/hack/test/typecheck/this_weird_error.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 abstract class MyVector<T> {
  13   abstract public function map<Tu>((function(T): Tu) $callback): MyVector<Tu>;
  14   abstract public function at(int $k): T;
  15   abstract public function isEmpty(): bool;
  16
  17   /* HH_FIXME[4110] */
  18   static public function newVector(T $x): MyVector<T> {
  19
  20   }
  21 }
  22
  23 class A {
  24   public function getName(): string { return 'hello'; }
  25 }
  26
  27
  28 /**
  29  * There was a weird bug in Typing_generic.rename, that was reproduced with
  30  * this case. It had to do with variable renaming, and this test doesn't
  31  * exercise much beyond that
  32  */
  33 class B {
  34   public function foo(MyVector<A> $a_vector): void {
  35     $bars = $a_vector->map(function (A $x) { return MyVector::newVector($x); });
  36     if (!$bars->isEmpty()) {
  37       $bars->at(1)->at(1)->getName();
  38     }
  39   }
  40 }