Rollup merge of #126927 - workingjubilee:vaargsafe-is-unsafe, r=joboet · model-checking/verify-rust-std@5664da3 (original) (raw)

`@@ -484,7 +484,7 @@ mod sealed_trait {

`

484

484

` all supported platforms",

`

485

485

` issue = "44930"

`

486

486

`)]

`

487

``

`-

pub trait VaArgSafe {}

`

``

487

`+

pub unsafe trait VaArgSafe {}

`

488

488

`}

`

489

489

``

490

490

`macro_rules! impl_va_arg_safe {

`

`@@ -494,7 +494,7 @@ macro_rules! impl_va_arg_safe {

`

494

494

`` reason = "the c_variadic feature has not been properly tested on \

``

495

495

` all supported platforms",

`

496

496

` issue = "44930")]

`

497

``

`-

impl sealed_trait::VaArgSafe for $t {}

`

``

497

`+

unsafe impl sealed_trait::VaArgSafe for $t {}

`

498

498

`)+

`

499

499

`}

`

500

500

`}

`

`@@ -509,14 +509,15 @@ impl_va_arg_safe! {f64}

`

509

509

` all supported platforms",

`

510

510

` issue = "44930"

`

511

511

`)]

`

512

``

`-

impl sealed_trait::VaArgSafe for *mut T {}

`

``

512

`+

unsafe impl sealed_trait::VaArgSafe for *mut T {}

`

``

513

+

513

514

`#[unstable(

`

514

515

` feature = "c_variadic",

`

515

516

`` reason = "the c_variadic feature has not been properly tested on \

``

516

517

` all supported platforms",

`

517

518

` issue = "44930"

`

518

519

`)]

`

519

``

`-

impl sealed_trait::VaArgSafe for *const T {}

`

``

520

`+

unsafe impl sealed_trait::VaArgSafe for *const T {}

`

520

521

``

521

522

`#[unstable(

`

522

523

` feature = "c_variadic",

`