Interesting, but why not then use an even stricter language? Say Idris, ATS, Lean or F* ?
But if you mean in general, I also totally feel that languages that let you represent more invariants statically are better fit for LLMs. I'd love to see experimentation with LLMs with dependent types and managed effects.