All of the methods which rely on the assumption of `len >= 1` use a safe `.unwrap()`. But why? using the `unsafe` version of `unwrap` would allow for guaranteed check eliminations.
All of the methods which rely on the assumption of
len >= 1use a safe.unwrap().But why? using the
unsafeversion ofunwrapwould allow for guaranteed check eliminations.