Bug report

When using the snippet below, the error messages states that the pattern for given parameter is incorrect, however it tells the correct pattern is the same as the existing.

Code snippet that reproduces the problem

https://phpstan.org/r/2afbbf2a-8eae-4152-b0cd-db03e305f0d1

Expected output

There is an error, indeed, but the message is not clear.