Rollup merge of #126904 - GrigorenkoPV:nonzero-fixme, r=joboet · model-checking/verify-rust-std@1bd207e (original) (raw)

`@@ -483,7 +483,6 @@ impl u8 {

`

483

483

`Self = u8,

`

484

484

`ActualT = u8,

`

485

485

`SignedT = i8,

`

486

``

`-

NonZeroT = NonZero,

`

487

486

`BITS = 8,

`

488

487

`MAX = 255,

`

489

488

` rot = 2,

`

`@@ -1098,7 +1097,6 @@ impl u16 {

`

1098

1097

`Self = u16,

`

1099

1098

`ActualT = u16,

`

1100

1099

`SignedT = i16,

`

1101

``

`-

NonZeroT = NonZero,

`

1102

1100

`BITS = 16,

`

1103

1101

`MAX = 65535,

`

1104

1102

` rot = 4,

`

`@@ -1147,7 +1145,6 @@ impl u32 {

`

1147

1145

`Self = u32,

`

1148

1146

`ActualT = u32,

`

1149

1147

`SignedT = i32,

`

1150

``

`-

NonZeroT = NonZero,

`

1151

1148

`BITS = 32,

`

1152

1149

`MAX = 4294967295,

`

1153

1150

` rot = 8,

`

`@@ -1171,7 +1168,6 @@ impl u64 {

`

1171

1168

`Self = u64,

`

1172

1169

`ActualT = u64,

`

1173

1170

`SignedT = i64,

`

1174

``

`-

NonZeroT = NonZero,

`

1175

1171

`BITS = 64,

`

1176

1172

`MAX = 18446744073709551615,

`

1177

1173

` rot = 12,

`

`@@ -1195,7 +1191,6 @@ impl u128 {

`

1195

1191

`Self = u128,

`

1196

1192

`ActualT = u128,

`

1197

1193

`SignedT = i128,

`

1198

``

`-

NonZeroT = NonZero,

`

1199

1194

`BITS = 128,

`

1200

1195

`MAX = 340282366920938463463374607431768211455,

`

1201

1196

` rot = 16,

`

`@@ -1221,7 +1216,6 @@ impl usize {

`

1221

1216

`Self = usize,

`

1222

1217

`ActualT = u16,

`

1223

1218

`SignedT = isize,

`

1224

``

`-

NonZeroT = NonZero,

`

1225

1219

`BITS = 16,

`

1226

1220

`MAX = 65535,

`

1227

1221

` rot = 4,

`

`@@ -1246,7 +1240,6 @@ impl usize {

`

1246

1240

`Self = usize,

`

1247

1241

`ActualT = u32,

`

1248

1242

`SignedT = isize,

`

1249

``

`-

NonZeroT = NonZero,

`

1250

1243

`BITS = 32,

`

1251

1244

`MAX = 4294967295,

`

1252

1245

` rot = 8,

`

`@@ -1271,7 +1264,6 @@ impl usize {

`

1271

1264

`Self = usize,

`

1272

1265

`ActualT = u64,

`

1273

1266

`SignedT = isize,

`

1274

``

`-

NonZeroT = NonZero,

`

1275

1267

`BITS = 64,

`

1276

1268

`MAX = 18446744073709551615,

`

1277

1269

` rot = 12,

`