With the right tooling, this is a non-issue. Compare with Scala, a language that also allows you to omit return types (except for recursive functions).
Alternatively, it also allows you to configure it to always show the inferred types on functions.
Before, I annotated things a lot, but after having this I've never felt the need to annotate functions ever again. I still do it for certain things though but for other reasons than readability (e.g. for type-driven development).
IntelliJ (the best Scala IDE) now has something called X-Ray mode, see the videos here: https://blog.jetbrains.com/scala/2023/12/21/the-x-ray-mode/
Alternatively, it also allows you to configure it to always show the inferred types on functions.
Before, I annotated things a lot, but after having this I've never felt the need to annotate functions ever again. I still do it for certain things though but for other reasons than readability (e.g. for type-driven development).