From the perspective of "language designers influencing programmers", the difficulty of auto-completing to `let mut` could be seen as something positive.