[kaba0]

It can’t extend provably correctly, so the benefits are questionable without good safe guards (generating tests would be just as meaningless, so you are left with reviewing very closely everything)

[tluyben2]

Sure, but I do that with code or text written by others anyway.