===file===
<?php
/** @deprecated use newGreet() instead */
function oldGreet(string $name): void {}

oldGreet('Alice');
===expect===
UnusedParam: Parameter $name is never used
DeprecatedCall: Call to deprecated function oldGreet: use newGreet() instead
