php/php.editor/test/unit/data/testfiles/verification/testIssue258480_1.php

<?php

namespace TestMe;

function date2() {}

$x = date2();