Let me be clear about what I mean by auto-complete. I mean that the IDE suggests all valid things that can be typed and only valid things. So it never gives a suggestion that would be an error and it never misses a suggestion that would be valid. That is what IDEs in statically typed languages do. Are you arguing that PyCharm can do that?