Check for void/noreturn in conditionals

[hiphop-php.git] / hphp / hack / test / typecheck / dynamic_props2.php

<?hh // strict

class A  {
  const c = 1;
  static $f1 = "42";
}

function f() {
  $a = A::c; // no errors
  $b = A::$f1; // no errors
  $n = "f";
  $c = A::${$n . "1"}; // error in strict mode
}