Home Original page

Replace `MaybeUninit::uninit_array()` with array repeat expression. · model-checking/verify-rust-std@cf34f71

@@ -35,8 +35,8 @@ fn float_to_decimal_common_exact<T>(

3535

where

3636

T: flt2dec::DecodableFloat,

3737

{

38-

let mut buf: [MaybeUninit<u8>; 1024] = MaybeUninit::uninit_array(); // enough for f32 and f64

39-

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 4] = MaybeUninit::uninit_array();

38+

let mut buf: [MaybeUninit<u8>; 1024] = [MaybeUninit::uninit(); 1024]; // enough for f32 and f64

39+

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 4] = [MaybeUninit::uninit(); 4];

4040

let formatted = flt2dec::to_exact_fixed_str(

4141

flt2dec::strategy::grisu::format_exact,

4242

*num,

@@ -62,8 +62,9 @@ where

6262

T: flt2dec::DecodableFloat,

6363

{

6464

// enough for f32 and f64

65-

let mut buf: [MaybeUninit<u8>; flt2dec::MAX_SIG_DIGITS] = MaybeUninit::uninit_array();

66-

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 4] = MaybeUninit::uninit_array();

65+

let mut buf: [MaybeUninit<u8>; flt2dec::MAX_SIG_DIGITS] =

66+

[MaybeUninit::uninit(); flt2dec::MAX_SIG_DIGITS];

67+

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 4] = [MaybeUninit::uninit(); 4];

6768

let formatted = flt2dec::to_shortest_str(

6869

flt2dec::strategy::grisu::format_shortest,

6970

*num,

@@ -107,8 +108,8 @@ fn float_to_exponential_common_exact<T>(

107108

where

108109

T: flt2dec::DecodableFloat,

109110

{

110-

let mut buf: [MaybeUninit<u8>; 1024] = MaybeUninit::uninit_array(); // enough for f32 and f64

111-

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 6] = MaybeUninit::uninit_array();

111+

let mut buf: [MaybeUninit<u8>; 1024] = [MaybeUninit::uninit(); 1024]; // enough for f32 and f64

112+

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 6] = [MaybeUninit::uninit(); 6];

112113

let formatted = flt2dec::to_exact_exp_str(

113114

flt2dec::strategy::grisu::format_exact,

114115

*num,

@@ -135,8 +136,9 @@ where

135136

T: flt2dec::DecodableFloat,

136137

{

137138

// enough for f32 and f64

138-

let mut buf: [MaybeUninit<u8>; flt2dec::MAX_SIG_DIGITS] = MaybeUninit::uninit_array();

139-

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 6] = MaybeUninit::uninit_array();

139+

let mut buf: [MaybeUninit<u8>; flt2dec::MAX_SIG_DIGITS] =

140+

[MaybeUninit::uninit(); flt2dec::MAX_SIG_DIGITS];

141+

let mut parts: [MaybeUninit<numfmt::Part<'_>>; 6] = [MaybeUninit::uninit(); 6];

140142

let formatted = flt2dec::to_shortest_exp_str(

141143

flt2dec::strategy::grisu::format_shortest,

142144

*num,