hphp/hack/test/typecheck/poly_method_explicit_type_arguments_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 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.
   9  *
  10  */
  11
  12 class MyVector<T> {
  13   public static function fmap<T1, T2>(
  14     (function(T1): T2) $f,
  15     MyVector<T1> $x,
  16   ): MyVector<T2> {
  17     throw new Exception('test');
  18   }
  19 }
  20
  21 function test(): void {
  22   $in = new MyVector();
  23   $in2 = MyVector::fmap<string, string>(
  24     function(int $x): string {
  25       return 'x';
  26     },
  27     $in,
  28   );
  29 }