Bug Report

The provided test defines the generic function f() in two ways which are incompatible with each other – one has an upper bound, and the other has not.

mypy reports the error, but in the error message only one of the mismatching function signatures is displayed, the other one is missing for some reason.

Note that there's nothing in the output after the word Redefinition:.

To Reproduce

https://mypy-play.net/?mypy=1.11.2&python=3.12&enable-incomplete-feature=NewGenericSyntax&gist=78806d2f754ba0e5ce9bdcb61909fbc6