bors cb40c25f6a
Auto merge of #156139 - inq:minimize-reshell-perf, r=lcnr ...
Short-circuit `calculate_fallback_to_f32` when no float vars
Sharing a small fix.
When no unresolved variable is a `float_vid`, no f32 fallback can apply,
so we can skip `from_float_for_f32_root_vids` (which walks the proof tree
of every pending obligation under the new solver — O(N × M) on crates
with many large obligations).
On ReShell: stage1 wall-clock 2m35s → 1m46s (-49s, ~31%).
Context + profile breakdown will be linked at
rust-lang/trait-system-refactor-initiative#254 after this PR opens.
r? @lcnr
2026-05-04 14:02:18 +00:00
2026-05-03 10:59:52 +02:00
2026-05-02 10:16:40 +02:00
2026-05-02 10:16:40 +02:00
2026-05-03 00:25:34 -04:00
2026-04-30 22:28:33 -04:00
2026-05-03 16:33:22 +02:00
2026-05-03 16:33:21 +02:00
2026-05-01 10:58:14 +10:00
2026-05-02 17:40:33 +02:00
2026-04-30 22:28:29 -04:00
2026-05-02 10:16:40 +02:00
2026-05-03 00:25:33 -04:00
2026-05-03 10:59:52 +02:00
2026-05-02 10:16:40 +02:00
2026-04-29 09:27:04 +10:00
2026-04-27 10:58:30 +08:00
2026-05-02 10:18:28 +02:00
2026-05-01 13:32:54 +10:00
2026-05-03 00:25:34 -04:00
2026-05-03 17:54:12 +00:00
2026-05-03 16:33:22 +02:00
2026-05-03 17:54:12 +00:00
2026-05-02 10:16:40 +02:00
2026-04-24 19:03:16 +02:00
2026-05-04 14:02:18 +00:00
2026-05-02 17:41:30 +02:00
2026-04-28 05:37:21 -04:00
2026-05-02 10:16:40 +02:00
2026-05-02 10:18:28 +02:00
2026-05-03 00:25:33 -04:00
2026-05-02 17:41:30 +02:00
2026-05-02 10:16:40 +02:00
2026-04-28 20:24:33 +02:00
2026-05-02 10:16:40 +02:00
2026-05-02 17:41:30 +02:00
2026-05-04 14:05:16 +10:00
2026-05-03 16:33:22 +02:00
2026-05-02 17:40:33 +02:00
2026-05-03 00:25:33 -04:00
2026-05-02 20:56:41 +00:00
2026-05-01 13:10:38 +02:00
2026-05-03 03:24:52 +00:00
2026-05-03 16:33:22 +02:00
2026-05-01 13:32:54 +10:00
2026-04-23 18:22:48 +03:00
2026-05-02 17:40:33 +02:00
2026-04-30 16:53:10 +10:00
2026-05-03 00:25:34 -04:00
2026-05-02 17:40:33 +02:00
2026-05-03 17:54:12 +00:00
2026-05-04 14:04:55 +10:00
2026-05-02 10:16:40 +02:00
2026-04-23 16:06:24 +03:00
2026-05-04 15:50:46 +10:00
2026-05-02 00:11:43 +09:00
2026-05-03 10:59:52 +02:00
2026-05-03 10:59:52 +02:00
2026-05-02 10:16:40 +02:00
2026-04-30 16:53:10 +10:00
bors
cb40c25f6a