The lesson here is that if a feature (at a minimum) does not have a associated test case, it is not actually a feature.
The test actually proves it and while it too can change it has more staying power because it's expressed at a higher level of abstraction ("random arcane weird C shit" in the case of code versus "does this property hold" in the case of a regression test).