<?php
/** @param int $x */
function foo($x) {
    // we can be sure here, $x is integer
}
// Warning: function wouldn't even be called with wrong parameter type
// In most cases this will be reported in compile-time
foo("Hello");
PHP Peachpie Snippet