Comment by Someone

I’m not sure the compiler is to blame there. The extremely flexible type inference means compilers have to do a lot of work.

(Examples at https://www.swiftbysundell.com/basics/type-inference/)