When providing duplicate types on a parameter it is not detected/warned about;

https://psalm.dev/r/747a4714b2

Would have expected it would give me an error, PHP it self gives a fatal error.