Upper bound is missing from generic function signature in error report #17792
Description
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.
However, when reporting this incompatibility, mypy prints two signatures that look equivalent because the upper bound is not mentioned in one of them.
This makes it very difficult to understand why mypy reports an error and how to fix it. Moreover, the error report looks like a bug in mypy.
To Reproduce