hphp/hack/test/typecheck/expr_dep_nullable_bound.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 class Box<T> {
   5   public function __construct(private T $item) {}
   6   public function set(T $x): void { $this->item = $x;}
   7   public function get(): T { return $this->item; }
   8 }
   9
  10 class C {
  11   public function foo(): void { }
  12 }
  13 function foo(?C $oc): void {
  14   $b = new Box($oc);
  15   $b->get()?->foo();
  16   $b->set(null);
  17 }