Сегодня снова загадка.

Вот в этом коде будет ли соптимизирован bound check в последнем выражении в релизе?

fn foo<T>(slice: &[T], a: usize, b: usize) -> &[T] {
  assert!(slice.len() >= a + b);
  &slice[slice.len() - a - b..][..b]
}

upd: исправил код