I dont think we need simpler types for agentic coding though. We need compiler speed. I guess those are probably related to some degree though.

It depends if you are full vibe-coding mode or still try to understand your codebase.

LLM can generate very cryptic rust code.