hphp/test/slow/coeffects/rx/is_enabled_bad3.php

   1 <?hh
   2
   3 function test()[rx] {
   4   if (!Rx\IS_ENABLED) {
   5     echo "disabled\n";
   6     return 0;
   7   } else {
   8     return 0;
   9   }
  10 }
  11
  12 <<__EntryPoint>>
  13 function main() {
  14   var_dump(test());
  15 }