Yes, nobody wants to have to spot a memory bug in C code.

Indeed nobody wants to review LLM generated slop.

So being able to know that this code cannot contain memory bugs, race conditions, etc is extremely valuable.

I might go a far as to claim: I'd be okay with the AI using an obscure language, if I can know the code is free from memory issue, race conditions and has no side effects, etc.

The argument that with LLMs pure functional language that I didn't bother to write before is now viable.