But not always. Some algorithms cannot be written in a way that would remove run time bound checking from rust e.g. KMP.