for example, I expect this to be free:

```
let (source_to_use, _discarded) = source.split_at(num_elements_to_add);
```

Because you've already proved to the optimizer that `num_elements_to_add` is <= source.len() when you did the min earlier