src/test/ui/layout/issue-96158-scalarpair-payload-might-be-uninit.stderr

   1 error: layout_of(MissingPayloadField) = Layout {
   2            size: Size(2 bytes),
   3            align: AbiAndPrefAlign {
   4                abi: Align(1 bytes),
   5                pref: $PREF_ALIGN,
   6            },
   7            abi: ScalarPair(
   8                Initialized {
   9                    value: Int(
  10                        I8,
  11                        false,
  12                    ),
  13                    valid_range: 0..=1,
  14                },
  15                Union {
  16                    value: Int(
  17                        I8,
  18                        false,
  19                    ),
  20                },
  21            ),
  22            fields: Arbitrary {
  23                offsets: [
  24                    Size(0 bytes),
  25                ],
  26                memory_index: [
  27                    0,
  28                ],
  29            },
  30            largest_niche: Some(
  31                Niche {
  32                    offset: Size(0 bytes),
  33                    value: Int(
  34                        I8,
  35                        false,
  36                    ),
  37                    valid_range: 0..=1,
  38                },
  39            ),
  40            variants: Multiple {
  41                tag: Initialized {
  42                    value: Int(
  43                        I8,
  44                        false,
  45                    ),
  46                    valid_range: 0..=1,
  47                },
  48                tag_encoding: Direct,
  49                tag_field: 0,
  50                variants: [
  51                    Layout {
  52                        size: Size(2 bytes),
  53                        align: AbiAndPrefAlign {
  54                            abi: Align(1 bytes),
  55                            pref: $PREF_ALIGN,
  56                        },
  57                        abi: ScalarPair(
  58                            Initialized {
  59                                value: Int(
  60                                    I8,
  61                                    false,
  62                                ),
  63                                valid_range: 0..=1,
  64                            },
  65                            Union {
  66                                value: Int(
  67                                    I8,
  68                                    false,
  69                                ),
  70                            },
  71                        ),
  72                        fields: Arbitrary {
  73                            offsets: [
  74                                Size(1 bytes),
  75                            ],
  76                            memory_index: [
  77                                0,
  78                            ],
  79                        },
  80                        largest_niche: None,
  81                        variants: Single {
  82                            index: 0,
  83                        },
  84                    },
  85                    Layout {
  86                        size: Size(1 bytes),
  87                        align: AbiAndPrefAlign {
  88                            abi: Align(1 bytes),
  89                            pref: $PREF_ALIGN,
  90                        },
  91                        abi: Aggregate {
  92                            sized: true,
  93                        },
  94                        fields: Arbitrary {
  95                            offsets: [],
  96                            memory_index: [],
  97                        },
  98                        largest_niche: None,
  99                        variants: Single {
 100                            index: 1,
 101                        },
 102                    },
 103                ],
 104            },
 105        }
 106   --> $DIR/issue-96158-scalarpair-payload-might-be-uninit.rs:16:1
 107    |
 108 LL | pub enum MissingPayloadField {
 109    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 110
 111 error: layout_of(CommonPayloadField) = Layout {
 112            size: Size(2 bytes),
 113            align: AbiAndPrefAlign {
 114                abi: Align(1 bytes),
 115                pref: $PREF_ALIGN,
 116            },
 117            abi: ScalarPair(
 118                Initialized {
 119                    value: Int(
 120                        I8,
 121                        false,
 122                    ),
 123                    valid_range: 0..=1,
 124                },
 125                Initialized {
 126                    value: Int(
 127                        I8,
 128                        false,
 129                    ),
 130                    valid_range: 0..=255,
 131                },
 132            ),
 133            fields: Arbitrary {
 134                offsets: [
 135                    Size(0 bytes),
 136                ],
 137                memory_index: [
 138                    0,
 139                ],
 140            },
 141            largest_niche: Some(
 142                Niche {
 143                    offset: Size(0 bytes),
 144                    value: Int(
 145                        I8,
 146                        false,
 147                    ),
 148                    valid_range: 0..=1,
 149                },
 150            ),
 151            variants: Multiple {
 152                tag: Initialized {
 153                    value: Int(
 154                        I8,
 155                        false,
 156                    ),
 157                    valid_range: 0..=1,
 158                },
 159                tag_encoding: Direct,
 160                tag_field: 0,
 161                variants: [
 162                    Layout {
 163                        size: Size(2 bytes),
 164                        align: AbiAndPrefAlign {
 165                            abi: Align(1 bytes),
 166                            pref: $PREF_ALIGN,
 167                        },
 168                        abi: ScalarPair(
 169                            Initialized {
 170                                value: Int(
 171                                    I8,
 172                                    false,
 173                                ),
 174                                valid_range: 0..=1,
 175                            },
 176                            Initialized {
 177                                value: Int(
 178                                    I8,
 179                                    false,
 180                                ),
 181                                valid_range: 0..=255,
 182                            },
 183                        ),
 184                        fields: Arbitrary {
 185                            offsets: [
 186                                Size(1 bytes),
 187                            ],
 188                            memory_index: [
 189                                0,
 190                            ],
 191                        },
 192                        largest_niche: None,
 193                        variants: Single {
 194                            index: 0,
 195                        },
 196                    },
 197                    Layout {
 198                        size: Size(2 bytes),
 199                        align: AbiAndPrefAlign {
 200                            abi: Align(1 bytes),
 201                            pref: $PREF_ALIGN,
 202                        },
 203                        abi: ScalarPair(
 204                            Initialized {
 205                                value: Int(
 206                                    I8,
 207                                    false,
 208                                ),
 209                                valid_range: 0..=1,
 210                            },
 211                            Initialized {
 212                                value: Int(
 213                                    I8,
 214                                    false,
 215                                ),
 216                                valid_range: 0..=255,
 217                            },
 218                        ),
 219                        fields: Arbitrary {
 220                            offsets: [
 221                                Size(1 bytes),
 222                            ],
 223                            memory_index: [
 224                                0,
 225                            ],
 226                        },
 227                        largest_niche: None,
 228                        variants: Single {
 229                            index: 1,
 230                        },
 231                    },
 232                ],
 233            },
 234        }
 235   --> $DIR/issue-96158-scalarpair-payload-might-be-uninit.rs:25:1
 236    |
 237 LL | pub enum CommonPayloadField {
 238    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
 239
 240 error: layout_of(CommonPayloadFieldIsMaybeUninit) = Layout {
 241            size: Size(2 bytes),
 242            align: AbiAndPrefAlign {
 243                abi: Align(1 bytes),
 244                pref: $PREF_ALIGN,
 245            },
 246            abi: ScalarPair(
 247                Initialized {
 248                    value: Int(
 249                        I8,
 250                        false,
 251                    ),
 252                    valid_range: 0..=1,
 253                },
 254                Union {
 255                    value: Int(
 256                        I8,
 257                        false,
 258                    ),
 259                },
 260            ),
 261            fields: Arbitrary {
 262                offsets: [
 263                    Size(0 bytes),
 264                ],
 265                memory_index: [
 266                    0,
 267                ],
 268            },
 269            largest_niche: Some(
 270                Niche {
 271                    offset: Size(0 bytes),
 272                    value: Int(
 273                        I8,
 274                        false,
 275                    ),
 276                    valid_range: 0..=1,
 277                },
 278            ),
 279            variants: Multiple {
 280                tag: Initialized {
 281                    value: Int(
 282                        I8,
 283                        false,
 284                    ),
 285                    valid_range: 0..=1,
 286                },
 287                tag_encoding: Direct,
 288                tag_field: 0,
 289                variants: [
 290                    Layout {
 291                        size: Size(2 bytes),
 292                        align: AbiAndPrefAlign {
 293                            abi: Align(1 bytes),
 294                            pref: $PREF_ALIGN,
 295                        },
 296                        abi: ScalarPair(
 297                            Initialized {
 298                                value: Int(
 299                                    I8,
 300                                    false,
 301                                ),
 302                                valid_range: 0..=1,
 303                            },
 304                            Union {
 305                                value: Int(
 306                                    I8,
 307                                    false,
 308                                ),
 309                            },
 310                        ),
 311                        fields: Arbitrary {
 312                            offsets: [
 313                                Size(1 bytes),
 314                            ],
 315                            memory_index: [
 316                                0,
 317                            ],
 318                        },
 319                        largest_niche: None,
 320                        variants: Single {
 321                            index: 0,
 322                        },
 323                    },
 324                    Layout {
 325                        size: Size(2 bytes),
 326                        align: AbiAndPrefAlign {
 327                            abi: Align(1 bytes),
 328                            pref: $PREF_ALIGN,
 329                        },
 330                        abi: ScalarPair(
 331                            Initialized {
 332                                value: Int(
 333                                    I8,
 334                                    false,
 335                                ),
 336                                valid_range: 0..=1,
 337                            },
 338                            Union {
 339                                value: Int(
 340                                    I8,
 341                                    false,
 342                                ),
 343                            },
 344                        ),
 345                        fields: Arbitrary {
 346                            offsets: [
 347                                Size(1 bytes),
 348                            ],
 349                            memory_index: [
 350                                0,
 351                            ],
 352                        },
 353                        largest_niche: None,
 354                        variants: Single {
 355                            index: 1,
 356                        },
 357                    },
 358                ],
 359            },
 360        }
 361   --> $DIR/issue-96158-scalarpair-payload-might-be-uninit.rs:33:1
 362    |
 363 LL | pub enum CommonPayloadFieldIsMaybeUninit {
 364    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 365
 366 error: layout_of(NicheFirst) = Layout {
 367            size: Size(2 bytes),
 368            align: AbiAndPrefAlign {
 369                abi: Align(1 bytes),
 370                pref: $PREF_ALIGN,
 371            },
 372            abi: ScalarPair(
 373                Union {
 374                    value: Int(
 375                        I8,
 376                        false,
 377                    ),
 378                },
 379                Initialized {
 380                    value: Int(
 381                        I8,
 382                        false,
 383                    ),
 384                    valid_range: 0..=4,
 385                },
 386            ),
 387            fields: Arbitrary {
 388                offsets: [
 389                    Size(1 bytes),
 390                ],
 391                memory_index: [
 392                    0,
 393                ],
 394            },
 395            largest_niche: Some(
 396                Niche {
 397                    offset: Size(1 bytes),
 398                    value: Int(
 399                        I8,
 400                        false,
 401                    ),
 402                    valid_range: 0..=4,
 403                },
 404            ),
 405            variants: Multiple {
 406                tag: Initialized {
 407                    value: Int(
 408                        I8,
 409                        false,
 410                    ),
 411                    valid_range: 0..=4,
 412                },
 413                tag_encoding: Niche {
 414                    untagged_variant: 0,
 415                    niche_variants: 1..=2,
 416                    niche_start: 3,
 417                },
 418                tag_field: 0,
 419                variants: [
 420                    Layout {
 421                        size: Size(2 bytes),
 422                        align: AbiAndPrefAlign {
 423                            abi: Align(1 bytes),
 424                            pref: $PREF_ALIGN,
 425                        },
 426                        abi: ScalarPair(
 427                            Initialized {
 428                                value: Int(
 429                                    I8,
 430                                    false,
 431                                ),
 432                                valid_range: 0..=255,
 433                            },
 434                            Initialized {
 435                                value: Int(
 436                                    I8,
 437                                    false,
 438                                ),
 439                                valid_range: 0..=2,
 440                            },
 441                        ),
 442                        fields: Arbitrary {
 443                            offsets: [
 444                                Size(1 bytes),
 445                                Size(0 bytes),
 446                            ],
 447                            memory_index: [
 448                                1,
 449                                0,
 450                            ],
 451                        },
 452                        largest_niche: Some(
 453                            Niche {
 454                                offset: Size(1 bytes),
 455                                value: Int(
 456                                    I8,
 457                                    false,
 458                                ),
 459                                valid_range: 0..=2,
 460                            },
 461                        ),
 462                        variants: Single {
 463                            index: 0,
 464                        },
 465                    },
 466                    Layout {
 467                        size: Size(0 bytes),
 468                        align: AbiAndPrefAlign {
 469                            abi: Align(1 bytes),
 470                            pref: $PREF_ALIGN,
 471                        },
 472                        abi: Aggregate {
 473                            sized: true,
 474                        },
 475                        fields: Arbitrary {
 476                            offsets: [],
 477                            memory_index: [],
 478                        },
 479                        largest_niche: None,
 480                        variants: Single {
 481                            index: 1,
 482                        },
 483                    },
 484                    Layout {
 485                        size: Size(0 bytes),
 486                        align: AbiAndPrefAlign {
 487                            abi: Align(1 bytes),
 488                            pref: $PREF_ALIGN,
 489                        },
 490                        abi: Aggregate {
 491                            sized: true,
 492                        },
 493                        fields: Arbitrary {
 494                            offsets: [],
 495                            memory_index: [],
 496                        },
 497                        largest_niche: None,
 498                        variants: Single {
 499                            index: 2,
 500                        },
 501                    },
 502                ],
 503            },
 504        }
 505   --> $DIR/issue-96158-scalarpair-payload-might-be-uninit.rs:41:1
 506    |
 507 LL | pub enum NicheFirst {
 508    | ^^^^^^^^^^^^^^^^^^^
 509
 510 error: layout_of(NicheSecond) = Layout {
 511            size: Size(2 bytes),
 512            align: AbiAndPrefAlign {
 513                abi: Align(1 bytes),
 514                pref: $PREF_ALIGN,
 515            },
 516            abi: ScalarPair(
 517                Union {
 518                    value: Int(
 519                        I8,
 520                        false,
 521                    ),
 522                },
 523                Initialized {
 524                    value: Int(
 525                        I8,
 526                        false,
 527                    ),
 528                    valid_range: 0..=4,
 529                },
 530            ),
 531            fields: Arbitrary {
 532                offsets: [
 533                    Size(1 bytes),
 534                ],
 535                memory_index: [
 536                    0,
 537                ],
 538            },
 539            largest_niche: Some(
 540                Niche {
 541                    offset: Size(1 bytes),
 542                    value: Int(
 543                        I8,
 544                        false,
 545                    ),
 546                    valid_range: 0..=4,
 547                },
 548            ),
 549            variants: Multiple {
 550                tag: Initialized {
 551                    value: Int(
 552                        I8,
 553                        false,
 554                    ),
 555                    valid_range: 0..=4,
 556                },
 557                tag_encoding: Niche {
 558                    untagged_variant: 0,
 559                    niche_variants: 1..=2,
 560                    niche_start: 3,
 561                },
 562                tag_field: 0,
 563                variants: [
 564                    Layout {
 565                        size: Size(2 bytes),
 566                        align: AbiAndPrefAlign {
 567                            abi: Align(1 bytes),
 568                            pref: $PREF_ALIGN,
 569                        },
 570                        abi: ScalarPair(
 571                            Initialized {
 572                                value: Int(
 573                                    I8,
 574                                    false,
 575                                ),
 576                                valid_range: 0..=255,
 577                            },
 578                            Initialized {
 579                                value: Int(
 580                                    I8,
 581                                    false,
 582                                ),
 583                                valid_range: 0..=2,
 584                            },
 585                        ),
 586                        fields: Arbitrary {
 587                            offsets: [
 588                                Size(0 bytes),
 589                                Size(1 bytes),
 590                            ],
 591                            memory_index: [
 592                                0,
 593                                1,
 594                            ],
 595                        },
 596                        largest_niche: Some(
 597                            Niche {
 598                                offset: Size(1 bytes),
 599                                value: Int(
 600                                    I8,
 601                                    false,
 602                                ),
 603                                valid_range: 0..=2,
 604                            },
 605                        ),
 606                        variants: Single {
 607                            index: 0,
 608                        },
 609                    },
 610                    Layout {
 611                        size: Size(0 bytes),
 612                        align: AbiAndPrefAlign {
 613                            abi: Align(1 bytes),
 614                            pref: $PREF_ALIGN,
 615                        },
 616                        abi: Aggregate {
 617                            sized: true,
 618                        },
 619                        fields: Arbitrary {
 620                            offsets: [],
 621                            memory_index: [],
 622                        },
 623                        largest_niche: None,
 624                        variants: Single {
 625                            index: 1,
 626                        },
 627                    },
 628                    Layout {
 629                        size: Size(0 bytes),
 630                        align: AbiAndPrefAlign {
 631                            abi: Align(1 bytes),
 632                            pref: $PREF_ALIGN,
 633                        },
 634                        abi: Aggregate {
 635                            sized: true,
 636                        },
 637                        fields: Arbitrary {
 638                            offsets: [],
 639                            memory_index: [],
 640                        },
 641                        largest_niche: None,
 642                        variants: Single {
 643                            index: 2,
 644                        },
 645                    },
 646                ],
 647            },
 648        }
 649   --> $DIR/issue-96158-scalarpair-payload-might-be-uninit.rs:50:1
 650    |
 651 LL | pub enum NicheSecond {
 652    | ^^^^^^^^^^^^^^^^^^^^
 653
 654 error: aborting due to 5 previous errors
 655