possible bug?

[FranckBlanchard]

<?php

declare(strict_types=1);

error_reporting(E_ALL);
ini_set("display_errors", 1);

/**
 * Definition of the greeting function
 * @param string $name
 * @return void
 */
function greet(string $name = "toto"): void {
    echo "Hello " . $name;
    echo "</br>"; // adds a line break
}

$name = "Lucien"; // Definition of the variable $name

greet($name);         // Call the greet() function with the variable $name as parameter.
greet("Fernand");    // Call the greet() function with the string "Fernand".
greet();

PHPStan is giving me errors that I don't understand.

Line public_html/examples/greet.php

20 Function greet invoked with 1 parameter, 0 required.
21 Function greet invoked with 1 parameter, 0 required.

When I test the code at this address: https://phpstan.org/try , there are no errors.
the PHPStan version is: PHPStan - PHP Static Analysis Tool 1.10.62
Any idea?

[ondrejmirtes]

Your function greet() is declared multiple times in the codebase with different signatures.

[FranckBlanchard]

Hi,
Thanks for your times.
What do you mean?
greet() is declare just one time.

/**
 * Definition of the greeting function
 * @param string $name
 * @return void
 */
function greet(string $name = "toto"): void {
    echo "Hello " . $name;
    echo "</br>"; // adds a line break
}

It's call three times, and why in the online tools ( https://phpstan.org/try ) no errors shows?

Many thanks

[ondrejmirtes]

Please grep your codebase and dependencies for other declarations of the same function.

The proof of my point: if you rename to function to greet2(), it's not going to complain with this error.

[FranckBlanchard]

It's all the code of the script
There isn't others dependencies.
All the code is

<?php

declare(strict_types=1);

error_reporting(E_ALL);
ini_set("display_errors", 1);

/**
 * Définition de la fonction bonjour
 * @param string $name
 * @return void
 */
function bonjour(string $name ): void {
    echo "Bonjour " . $name;
    echo "</br>"; // ajoute un retour a la ligne 
}

$nom = "Lucien"; // Définition de la variable $name

bonjour($nom);         // Appel de la fonction bonjour() avec la variable $name en paramètre.
bonjour("Fernand");    // Appel de la fonction bonjour() avec la chaine de caractère "Fernand".
bonjour();

[ondrejmirtes]

Alright, please create a small reproducing repository that shows the problem.