> Things just work, and they break during compilation if they don’t. You omitted the caveat: the program will behave in unexpected ways sometimes. What else do

> Things just work, and they break during compilation if they don’t. You omitted the caveat: the program will behave in unexpected ways sometimes. What else do you do to ensure correctness? ie The minimum bar for modern software is not "it compiles, ship it".