hphp/hack/test/typecheck/typehole/T62211996.php

   1 <?hh
   2 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
   3
   4 final class ReifyTest<<<__Enforceable>> reify T> {
   5   public function __construct(private T $val) {}
   6   public function foo(mixed $other): T {
   7     $other as this;
   8     return $other->val;
   9   }
  10 }
  11
  12 <<__EntryPoint>>
  13 function breakit(): void {
  14   $x = new ReifyTest<int>(42);
  15   $x->foo(new ReifyTest<string>('bar'));
  16 }