Disallow ... without type in function typehints

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

<?hh // strict

trait T1 {
  public function f(int $i): int {
    return 4;
  }
}

class C {
  use T1;

  public function f(num $k): num = T1::f;
}