No error on use of `unsafe_cast`

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

<?hh
// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.

function getit():int { return 5; }

<<__EntryPoint>>
function testit():void {
  $f = getit() |> ($z ==> $z + $$);
  $w = $f(100);
  echo $w;
}