If you read the caveats section of the crate, you will find that it is quite limited in its capabilities. I firmly believe that panic-free guarantees need to be

If you read the caveats section of the crate, you will find that it is quite limited in its capabilities. I firmly believe that panic-free guarantees need to be built into the compiler with a special flag.