1
- <<<<<<< HEAD
1
+ #![ allow( clippy:: enum_clike_unportable_variant) ]
2
+
2
3
use safety:: { ensures, invariant, requires} ;
3
4
4
5
#[ cfg( kani) ]
5
6
use crate :: kani;
6
- =======
7
- #![ allow ( clippy:: enum_clike_unportable_variant ) ]
8
-
9
- >>>>>>> subtree/library
10
7
use crate :: num:: NonZero ;
11
8
#[ cfg( kani) ]
12
9
use crate :: ub_checks:: Invariant ;
@@ -271,12 +268,8 @@ impl const Default for Alignment {
271
268
272
269
#[ cfg( target_pointer_width = "16" ) ]
273
270
#[ derive( Copy , Clone , PartialEq , Eq ) ]
274
- <<<<<<< HEAD
275
- #[ repr ( u16 ) ]
276
- #[ cfg_attr ( kani , derive ( kani:: Arbitrary ) ) ]
277
- =======
278
271
#[ repr( usize ) ]
279
- >>>>>>> subtree/library
272
+ # [ cfg_attr ( kani , derive ( kani :: Arbitrary ) ) ]
280
273
enum AlignmentEnum {
281
274
_Align1Shl0 = 1 << 0 ,
282
275
_Align1Shl1 = 1 << 1 ,
@@ -298,12 +291,8 @@ enum AlignmentEnum {
298
291
299
292
#[ cfg( target_pointer_width = "32" ) ]
300
293
#[ derive( Copy , Clone , PartialEq , Eq ) ]
301
- <<<<<<< HEAD
302
- #[ repr ( u32 ) ]
303
- #[ cfg_attr ( kani , derive ( kani:: Arbitrary ) ) ]
304
- =======
305
294
#[ repr( usize ) ]
306
- >>>>>>> subtree/library
295
+ # [ cfg_attr ( kani , derive ( kani :: Arbitrary ) ) ]
307
296
enum AlignmentEnum {
308
297
_Align1Shl0 = 1 << 0 ,
309
298
_Align1Shl1 = 1 << 1 ,
@@ -341,12 +330,8 @@ enum AlignmentEnum {
341
330
342
331
#[ cfg( target_pointer_width = "64" ) ]
343
332
#[ derive( Copy , Clone , PartialEq , Eq ) ]
344
- <<<<<<< HEAD
345
- #[ repr ( u64 ) ]
346
- #[ cfg_attr ( kani , derive ( kani:: Arbitrary ) ) ]
347
- =======
348
333
#[ repr( usize ) ]
349
- >>>>>>> subtree/library
334
+ # [ cfg_attr ( kani , derive ( kani :: Arbitrary ) ) ]
350
335
enum AlignmentEnum {
351
336
_Align1Shl0 = 1 << 0 ,
352
337
_Align1Shl1 = 1 << 1 ,
0 commit comments