hphp/hack/test/typecheck/newtype5.php

   1 //// file1.php
   2
   3 <?hh
   4 /**
   5  * Copyright (c) 2014, Facebook, Inc.
   6  * All rights reserved.
   7  *
   8  * This source code is licensed under the BSD-style license found in the
   9  * LICENSE file in the "hack" directory of this source tree. An additional grant
  10  * of patent rights can be found in the PATENTS file in the same directory.
  11  *
  12  */
  13
  14 newtype a<T> as T = T;
  15
  16 //// file2.php
  17
  18 <?hh
  19
  20 function test(a<int> $x): void {}
  21 function test2(a<bool> $x): void {
  22   test($x);
  23 }