You'd want to statically prove that any panic is unreachable