diff --git a/src/tools/miri/src/range_map.rs b/src/tools/miri/src/range_map.rs index 228a2396004d9..4a3670b76ac25 100644 --- a/src/tools/miri/src/range_map.rs +++ b/src/tools/miri/src/range_map.rs @@ -27,11 +27,8 @@ impl RangeMap { #[inline(always)] pub fn new(size: Size, init: T) -> RangeMap { let size = size.bytes(); - let mut map = RangeMap { v: Vec::new() }; - if size > 0 { - map.v.push(Elem { range: 0..size, data: init }); - } - map + let v = if size > 0 { vec![Elem { range: 0..size, data: init }] } else { Vec::new() }; + RangeMap { v } } /// Finds the index containing the given offset.