more precise sprintf() return type on constant formats

[staabm]

closes phpstan/phpstan#7387

[kukulich]

I think the regex is not complete. The printf format is %[argnum$][flags][width][.precision]

• Argument number is a little strange for this use case but the support should be there.
• Other use cases: https://3v4l.org/u0vgj

[staabm]

I think the regex is not complete. The printf format is %[argnum$][flags][width][.precision]

absolutely. I did a first step with this PR which covers the initially reported issues.
I am fine with adding more coverage though, but the PR as is already provides value IMO.

[rvanvelzen]

Do you think something like this makes sense as well?

[staabm]

Do you think something like this makes sense as well?

I guess it depends on which use-cases the added complexity will cover. might be easier to think about it, when seeing actual NodeScopeResolverTest-cases

[staabm]

@ondrejmirtes just rebased and it should be good to go

I will work on the mentioned features/comments in separate followup PRs regarding

Do you think something like this makes sense as well?

and

I think the regex is not complete. The printf format is %[argnum$][flags][width][.precision]

* Argument number is a little strange for this use case but the support should be there.

[ondrejmirtes]

Thank you.