hphp/hack/test/typecheck/constraints/where_fail_2.php

   1 <?hh // strict
   2
   3 class Base {
   4 }
   5
   6 class Derived extends Base {
   7 }
   8
   9 class FailWhere {
  10   public function assertSuperBase<T>(T $x): void where T super Base {
  11   }
  12
  13   public function test(Derived $x): void {
  14     //TODO (t13262460): This test should actually fail, but doesn't, because of
  15     //a typehole in super-bounds. When the given task is finished, the .exp
  16     //should be updated with the appropriate error message
  17     $this->assertSuperBase($x);
  18   }
  19 }