Verifier support for CheckROCOW

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

<?hh
class A {
  public function a(AnyArray $a1 = 2.0) {}
}

<<__EntryPoint>>
function main(): void {
  echo "Done.\n";
}