hphp/hack/test/typecheck/trait_bug.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 abstract class QSIC extends QIC<this::TCoerced> {
   5   abstract const type TCoerced as nonnull;
   6 }
   7
   8 <<__ConsistentConstruct>>
   9 trait TQSIC {
  10
  11   require extends QSIC;
  12   require extends QIC<this::TCoerced>;
  13
  14   private function __construct() {}
  15
  16   final public static function nonNullable(): this {
  17     return new static();
  18   }
  19
  20   final public static function nullable(
  21   ): GNIC<this::TCoerced> {
  22     return new GNIC(static::nonNullable());
  23   }
  24 }
  25
  26 final class GNIC<TInner as nonnull>
  27   extends QIC<?TInner> {
  28
  29   public function __construct(
  30     private QIC<TInner> $innerCoercer,
  31   ) {}
  32 }
  33
  34 abstract class QIC<+TCoerced> {}