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

   1 <?hh
   2 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
   3
   4 <<__ConsistentConstruct>>
   5 class Hgoldstein {}
   6
   7 abstract class HgoldsteinChild extends Hgoldstein {}
   8
   9 final class HgoldsteinGrandChild extends HgoldsteinChild {}
  10
  11 function make_hgoldstein(classname<Hgoldstein> $cls): void {
  12   $_ = new $cls();
  13 }
  14
  15 <<__EntryPoint>>
  16 function hgoldstein_main(): void {
  17   make_hgoldstein(HgoldsteinChild::class);
  18 }