Handle this typehints

[hiphop-php.git] / hphp / test / quick / impl_abstract_dv_i_integer.php

<?hh
abstract class A   { abstract public function a(int     $a1 = null);   }
class B extends A  {          public function a(integer $a1 = null) {} }