Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68 · model-checking/verify-rust-std@ddff2b6

@@ -234,24 +234,20 @@ impl f128 {

234234

/// This constant isn't guaranteed to equal to any specific NaN bitpattern,

235235

/// and the stability of its representation over Rust versions

236236

/// and target platforms isn't guaranteed.

237-

#[cfg(not(bootstrap))]

238237

#[allow(clippy::eq_op)]

239238

#[rustc_diagnostic_item = "f128_nan"]

240239

#[unstable(feature = "f128", issue = "116909")]

241240

pub const NAN: f128 = 0.0_f128 / 0.0_f128;

242241243242

/// Infinity (∞).

244-

#[cfg(not(bootstrap))]

245243

#[unstable(feature = "f128", issue = "116909")]

246244

pub const INFINITY: f128 = 1.0_f128 / 0.0_f128;

247245248246

/// Negative infinity (−∞).

249-

#[cfg(not(bootstrap))]

250247

#[unstable(feature = "f128", issue = "116909")]

251248

pub const NEG_INFINITY: f128 = -1.0_f128 / 0.0_f128;

252249253250

/// Sign bit

254-

#[cfg(not(bootstrap))]

255251

pub(crate) const SIGN_MASK: u128 = 0x8000_0000_0000_0000_0000_0000_0000_0000;

256252257253

/// Exponent mask

@@ -261,11 +257,9 @@ impl f128 {

261257

pub(crate) const MAN_MASK: u128 = 0x0000_ffff_ffff_ffff_ffff_ffff_ffff_ffff;

262258263259

/// Minimum representable positive value (min subnormal)

264-

#[cfg(not(bootstrap))]

265260

const TINY_BITS: u128 = 0x1;

266261267262

/// Minimum representable negative value (min negative subnormal)

268-

#[cfg(not(bootstrap))]

269263

const NEG_TINY_BITS: u128 = Self::TINY_BITS | Self::SIGN_MASK;

270264271265

/// Returns `true` if this value is NaN.

@@ -284,7 +278,6 @@ impl f128 {

284278

/// ```

285279

#[inline]

286280

#[must_use]

287-

#[cfg(not(bootstrap))]

288281

#[unstable(feature = "f128", issue = "116909")]

289282

#[allow(clippy::eq_op)] // > if you intended to check if the operand is NaN, use `.is_nan()` instead :)

290283

pub const fn is_nan(self) -> bool {

@@ -295,7 +288,6 @@ impl f128 {

295288

// concerns about portability, so this implementation is for

296289

// private use internally.

297290

#[inline]

298-

#[cfg(not(bootstrap))]

299291

#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]

300292

pub(crate) const fn abs_private(self) -> f128 {

301293

// SAFETY: This transmutation is fine. Probably. For the reasons std is using it.

@@ -326,7 +318,6 @@ impl f128 {

326318

/// ```

327319

#[inline]

328320

#[must_use]

329-

#[cfg(not(bootstrap))]

330321

#[unstable(feature = "f128", issue = "116909")]

331322

#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]

332323

pub const fn is_infinite(self) -> bool {

@@ -354,7 +345,6 @@ impl f128 {

354345

/// ```

355346

#[inline]

356347

#[must_use]

357-

#[cfg(not(bootstrap))]

358348

#[unstable(feature = "f128", issue = "116909")]

359349

#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]

360350

pub const fn is_finite(self) -> bool {

@@ -389,7 +379,6 @@ impl f128 {

389379

/// [subnormal]: https://en.wikipedia.org/wiki/Denormal_number

390380

#[inline]

391381

#[must_use]

392-

#[cfg(not(bootstrap))]

393382

#[unstable(feature = "f128", issue = "116909")]

394383

#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]

395384

pub const fn is_subnormal(self) -> bool {

@@ -422,7 +411,6 @@ impl f128 {

422411

/// [subnormal]: https://en.wikipedia.org/wiki/Denormal_number

423412

#[inline]

424413

#[must_use]

425-

#[cfg(not(bootstrap))]

426414

#[unstable(feature = "f128", issue = "116909")]

427415

#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]

428416

pub const fn is_normal(self) -> bool {

@@ -448,7 +436,6 @@ impl f128 {

448436

/// # }

449437

/// ```

450438

#[inline]

451-

#[cfg(not(bootstrap))]

452439

#[unstable(feature = "f128", issue = "116909")]

453440

#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]

454441

pub const fn classify(self) -> FpCategory {

@@ -557,7 +544,6 @@ impl f128 {

557544

/// [`MIN`]: Self::MIN

558545

/// [`MAX`]: Self::MAX

559546

#[inline]

560-

#[cfg(not(bootstrap))]

561547

#[unstable(feature = "f128", issue = "116909")]

562548

// #[unstable(feature = "float_next_up_down", issue = "91399")]

563549

pub fn next_up(self) -> Self {

@@ -612,7 +598,6 @@ impl f128 {

612598

/// [`MIN`]: Self::MIN

613599

/// [`MAX`]: Self::MAX

614600

#[inline]

615-

#[cfg(not(bootstrap))]

616601

#[unstable(feature = "f128", issue = "116909")]

617602

// #[unstable(feature = "float_next_up_down", issue = "91399")]

618603

pub fn next_down(self) -> Self {

@@ -649,7 +634,6 @@ impl f128 {

649634

/// # }

650635

/// ```

651636

#[inline]

652-

#[cfg(not(bootstrap))]

653637

#[unstable(feature = "f128", issue = "116909")]

654638

#[must_use = "this returns the result of the operation, without modifying the original"]

655639

pub fn recip(self) -> Self {

@@ -670,7 +654,6 @@ impl f128 {

670654

/// # }

671655

/// ```

672656

#[inline]

673-

#[cfg(not(bootstrap))]

674657

#[unstable(feature = "f128", issue = "116909")]

675658

#[must_use = "this returns the result of the operation, without modifying the original"]

676659

pub fn to_degrees(self) -> Self {

@@ -694,7 +677,6 @@ impl f128 {

694677

/// # }

695678

/// ```

696679

#[inline]

697-

#[cfg(not(bootstrap))]

698680

#[unstable(feature = "f128", issue = "116909")]

699681

#[must_use = "this returns the result of the operation, without modifying the original"]

700682

pub fn to_radians(self) -> f128 {

@@ -1141,7 +1123,6 @@ impl f128 {

11411123

/// ```

11421124

#[inline]

11431125

#[must_use]

1144-

#[cfg(not(bootstrap))]

11451126

#[unstable(feature = "f128", issue = "116909")]

11461127

pub fn total_cmp(&self, other: &Self) -> crate::cmp::Ordering {

11471128

let mut left = self.to_bits() as i128;

@@ -1201,7 +1182,6 @@ impl f128 {

12011182

/// # }

12021183

/// ```

12031184

#[inline]

1204-

#[cfg(not(bootstrap))]

12051185

#[unstable(feature = "f128", issue = "116909")]

12061186

#[must_use = "method returns a new number and does not mutate the original value"]

12071187

pub fn clamp(mut self, min: f128, max: f128) -> f128 {