Not really, I measured it.

Typing prevents 1 minor bug per developer per year reaching the testing environment.

It costs 2x development time to use. (With LLMs it's doubles token usage, very measurable)

It's not actually a sane trade-off.