compiler/phpunit/code/closure_rule_callable_intersection_param.php

<?php
function main() {
    $f = function (Traversable&callable $x): void {};
    $f(null);
}