fmt of floating points defragmented

[pascaldekloe]

• Formatting of floating-points centralised in fmt/float.rs

• Drop of numfmt feature; no intermediate Part structure

• FullDecoded step from omitted with num::FpCategory

• MaybeUninit to str contained in grisu.rs & dragon.rs

• Exponent in native bit-width (isize instead of i16)

• Decode logic of floating-points explained in comments

• Explicit fallback from Grisu to Dragon (with Option)

• Abstraction between Grisu and Dragon in tests undone

• Fixed buffer-size for formatting in "shortest" mode

• Macro instead of traits for generic handling of types

• FIX: check_exact macro missed check of last decimal

• FIX: faulty values in *_sanity_test due to previous

  r? tgross35

[rustbot]

tgross35 is currently at their maximum review capacity.
They may take a while to respond.

[pascaldekloe]

Refactor a little cascaded a little. 😅 I hope you are OK with such big change.

The new pad_number method on fmt::Formatter could be part of the core library.

[quaternic]

@pascaldekloe

Refactor a little cascaded a little. 😅 I hope you are OK with such big change.

At +1,625 −3,292 (lines), this is quite large indeed, and as such, difficult to review. That is in part due to incorporating many different kinds of changes, which makes it hard to get an idea of what is actually being changed.

For one, parts of the diff seem to be just renames of functions or local variables, which would be easy to review if that's all it did. If the renames feel necessary for clarity, it would help to do them in a separate commit.

• Formatting of floating-points centralised in fmt/float.rs

• Drop of numfmt feature; no intermediate Part structure
  ...

These look like short commit descriptions. Did you have these as separate commits at some point?

[pascaldekloe]

It was a single commit that grew into something big, @quaternic. Functions were renamed while changing their signatures. We might as well use better names when touching those lines. Many comments were rewritten while figuring out what they meant.

Logic from traits in num::flt2dec moved to the macro_rules in fmt/float.rs.
Logic from num/flt2dec/mod.rs also moved to fmt/float.rs (without use of Part).
Those two moves cause the majority of the change. It is hard to separate the modification from the relocation here.

On hindsight, I should have undone the abstraction in tests first. Especially the broken test values would have been nice to see in a separate commit.

I believe the changes in strategy (Grisu and Dragon) are readable as is.

[bors]

☔ The latest upstream changes (presumably #150334) made this pull request unmergeable. Please resolve the merge conflicts.

[rustbot]

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

[rust-log-analyzer]

The job aarch64-gnu-llvm-20-1 failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

---- [ui] tests/ui/contracts/contract-captures-via-closure-noncopy.rs stdout ----
Saved the actual stderr to `/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/contracts/contract-captures-via-closure-noncopy/contract-captures-via-closure-noncopy.stderr`
diff of stderr:

- error[E0277]: the trait bound `Baz: std::marker::Copy` is not satisfied in `{closure@$DIR/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`
+ error[E0277]: the trait bound `Baz: Copy` is not satisfied in `{closure@$DIR/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`
2   --> $DIR/contract-captures-via-closure-noncopy.rs:13:1
3    |
4 LL | #[core::contracts::ensures({let old = x; move |ret:&Baz| ret.baz == old.baz*2 })]

9    | unsatisfied trait bound
10    | required by a bound introduced by this call
11    |
-    = help: within `{closure@$DIR/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`, the trait `std::marker::Copy` is not implemented for `Baz`
+    = help: within `{closure@$DIR/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`, the trait `Copy` is not implemented for `Baz`
13 note: required because it's used within this closure
14   --> $DIR/contract-captures-via-closure-noncopy.rs:13:42
15    |

Note: some mismatched output was normalized before being compared
- error[E0277]: the trait bound `Baz: Copy` is not satisfied in `{closure@/checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`
-   --> /checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:1
-    = help: within `{closure@/checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`, the trait `Copy` is not implemented for `Baz`
+ error[E0277]: the trait bound `Baz: Copy` is not satisfied in `{closure@$DIR/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`
+    = help: within `{closure@$DIR/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`, the trait `Copy` is not implemented for `Baz`


The actual stderr differed from the expected stderr
To update references, rerun the tests and pass the `--bless` flag
To only update this specific test, also pass `--test-args contracts/contract-captures-via-closure-noncopy.rs`

error: 1 errors occurred comparing output.
status: exit status: 1
command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2" "--target=aarch64-unknown-linux-gnu" "--check-cfg" "cfg(test,FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/contracts/contract-captures-via-closure-noncopy" "-A" "unused" "-W" "unused_attributes" "-A" "internal_features" "-A" "unused_parens" "-A" "unused_braces" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/aarch64-unknown-linux-gnu/native/rust-test-helpers" "--edition=2015" "-Zcontract-checks=yes"
stdout: none
--- stderr -------------------------------
error[E0277]: the trait bound `Baz: Copy` is not satisfied in `{closure@/checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`
##[error]  --> /checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:1
   |
LL | #[core::contracts::ensures({let old = x; move |ret:&Baz| ret.baz == old.baz*2 })]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^------------------------------------^^^^
   | |                                        |
   | |                                        within this `{closure@/checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`
   | |                                        this tail expression is of type `{closure@contract-captures-via-closure-noncopy.rs:13:42}`
   | unsatisfied trait bound
   | required by a bound introduced by this call
   |
   = help: within `{closure@/checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:42: 13:57}`, the trait `Copy` is not implemented for `Baz`
note: required because it's used within this closure
  --> /checkout/tests/ui/contracts/contract-captures-via-closure-noncopy.rs:13:42
   |
LL | #[core::contracts::ensures({let old = x; move |ret:&Baz| ret.baz == old.baz*2 })]
   |                                          ^^^^^^^^^^^^^^^
note: required by a bound in `build_check_ensures`
  --> /rustc/FAKE_PREFIX/library/core/src/contracts.rs:19:0
help: consider annotating `Baz` with `#[derive(Copy)]`
   |
LL + #[derive(Copy)]
LL | struct Baz {
   |