hphp/hack/test/typecheck/this_genreadapi2.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 interface GenReadApi<Tk, +Tv> {}
  12
  13 class GenReadApiClass<Tk, +Tv> implements GenReadApi<Tk, Tv> {
  14   public function __construct(private Tv $v) {}
  15 }
  16
  17 class Foo {
  18   public static function make<Tk>(): GenReadApi<Tk, mixed> {
  19     return new GenReadApiClass(null);
  20   }
  21 }
  22
  23 final class Bar extends Foo {
  24   public static function make<Tk>(): GenReadApi<Tk, this> {
  25     return new GenReadApiClass(new static());
  26   }
  27 }
  28
  29 interface GenReadIdxApi<Tk, +Tv> {}
  30
  31 class GenReadIdxApiClass<Tk, +Tv> implements GenReadIdxApi<Tk, Tv> {
  32   public function __construct(private Tv $v) {}
  33 }
  34
  35 class FooIdx {
  36   public static function make<Tk>(): GenReadIdxApi<Tk, mixed> {
  37     return new GenReadIdxApiClass(null);
  38   }
  39 }
  40
  41 <<__ConsistentConstruct>>
  42 class BarIdx extends FooIdx {
  43   public static function make<Tk>(): GenReadIdxApi<Tk, this> {
  44     return new GenReadIdxApiClass(new static());
  45   }
  46 }