Post

Sigh. I just had to explain to chatgpt that it doesn't have to add asserts to confirm that the compiler generated correct code. And it *insisted* that it was in the right to add: if (foo is not null) { assert(foo is not null); : }