Incorrect handling of end index in BitVec::extend_from_within

[korrat]

I'm trying to repeat a part of a BitVec using extend_from_within(..). However, this fails with an error at runtime, due to normalization of range bounds, I believe. The error says index 8 out of range: Excluded(8).