checked.php

<?hh

function addOne(int $x): int {
    return $x + 1;
}

function main() {
    addOne(42);
    addOne('foo');
}
main();

not-checked.php

<?hh

function addOne(int $x): int {
    return $x + 1;
}

addOne(42);
addOne('foo');