Rollup merge of #125082 - kpreid:const-uninit, r=dtolnay · model-checking/verify-rust-std@9dcffa5 (original) (raw)

`@@ -35,8 +35,8 @@ fn float_to_decimal_common_exact(

`

35

35

`where

`

36

36

`T: flt2dec::DecodableFloat,

`

37

37

`{

`

38

``

`-

let mut buf: [MaybeUninit; 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; 1024] = [MaybeUninit::uninit(); 1024]; // enough for f32 and f64

`

``

39

`+

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

`

40

40

`let formatted = flt2dec::to_exact_fixed_str(

`

41

41

` flt2dec::strategy::grisu::format_exact,

`

42

42

`*num,

`

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

`

62

62

`T: flt2dec::DecodableFloat,

`

63

63

`{

`

64

64

`// enough for f32 and f64

`

65

``

`-

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

`

66

``

`-

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

`

``

65

`+

let mut buf: [MaybeUninit; flt2dec::MAX_SIG_DIGITS] =

`

``

66

`+

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

`

``

67

`+

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

`

67

68

`let formatted = flt2dec::to_shortest_str(

`

68

69

` flt2dec::strategy::grisu::format_shortest,

`

69

70

`*num,

`

`@@ -107,8 +108,8 @@ fn float_to_exponential_common_exact(

`

107

108

`where

`

108

109

`T: flt2dec::DecodableFloat,

`

109

110

`{

`

110

``

`-

let mut buf: [MaybeUninit; 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; 1024] = [MaybeUninit::uninit(); 1024]; // enough for f32 and f64

`

``

112

`+

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

`

112

113

`let formatted = flt2dec::to_exact_exp_str(

`

113

114

` flt2dec::strategy::grisu::format_exact,

`

114

115

`*num,

`

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

`

135

136

`T: flt2dec::DecodableFloat,

`

136

137

`{

`

137

138

`// enough for f32 and f64

`

138

``

`-

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

`

139

``

`-

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

`

``

139

`+

let mut buf: [MaybeUninit; flt2dec::MAX_SIG_DIGITS] =

`

``

140

`+

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

`

``

141

`+

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

`

140

142

`let formatted = flt2dec::to_shortest_exp_str(

`

141

143

` flt2dec::strategy::grisu::format_shortest,

`

142

144

`*num,

`