Silence a clippy lint

This commit is contained in:
Armin Ronacher 2021-01-31 19:35:59 +01:00
parent 158c28784d
commit a4128af756

View file

@ -67,6 +67,7 @@ where
New: Index<usize> + ?Sized,
New::Output: PartialEq<Old::Output>,
{
#![allow(clippy::many_single_char_names)]
if old_end > old_current && new_end > new_current {
let old_span = old_end - old_current;
let new_span = new_end - new_current;