hphp/hack/test/typecheck/switch_fallthrough13.php

   1 <?hh //strict
   2
   3 class A {
   4   /* HH_FIXME[4110] */
   5   protected static function invariant_violation(): noreturn {
   6   }
   7 }
   8
   9 class B extends A {
  10   public function f(int $x): void {
  11     switch ($x) {
  12       case 0:
  13         echo "zero";
  14         parent::invariant_violation();
  15       default:
  16         echo "more";
  17     }
  18   }
  19 }