Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

matthiaskrgr
Copy link
Member

@matthiaskrgr matthiaskrgr commented Sep 18, 2025

Successful merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

folkertdev and others added 14 commits September 11, 2025 10:18
but a C-variadic method makes a trait dyn-incompatible. That is because
methods from dyn traits, when cast to a function pointer, create a shim.
That shim can't really forward the c-variadic arguments.
The logic was, as the removed comments suggest, hackish
and meant to implement previous logic that was factored out.
The new logic does exactly what the comments say, and is much
less surprising.
This should fix triagebot publication of the GitHub release on merge.
…hods, r=workingjubilee

c-variadic: allow c-variadic inherent and trait methods

tracking issue: rust-lang#44930

Continuing the work of rust-lang#146342, allow inherent and trait methods to be c-variadic. However, a trait that contains a c-variadic method is no longer dyn-compatible.

There is, presumably, some way to make c-variadic methods dyn-compatible. However currently, we don't have confidence that it'll work reliably: when methods from a `dyn` object are cast to a function pointer, a `ReifyShim` is created. If that shim is c-variadic, it would need to forward the C variable argument list.

That does appear to work, because the `va_list` is not represented in MIR at all in this case, so the registers from the call site are untouched by the shim and can be read by the actual implementation. That just does not seem like a solid implementation.

Also, intuitively, why would c-variadic function, primarily needed for FFI, need to be used with `dyn` objects at all? We can revisit this limitation if a need arises.

r? `@workingjubilee`
…ge, r=joboet

Improve `core::num` coverage

This PR improves the `core::num` coverage by adding a new test to `coretests`.

r? libs
…n-limit-span, r=oli-obk

Add span for struct tail recursion limit error

Fixes rust-lang#135629

Changes
1. Add span to RecursionLimitReached
2. Add ObligationCause parameter to struct_tail_raw
4. Update call sites to pass nearby ObligationCause or create one
5. Update affected .stderr
…, r=jdonszelmann

Add regression test for issue rust-lang#91831

The requested test for rust-lang#91831. I'm unsure about the filename, the file structure in `tests/ui/lifetimes/lifetime-errors/` isn't entirely clear to me. Any suggestions?

Closes rust-lang#91831
…ack, r=lcnr

Clean up universe evaluation during type test evaluation

The logic was, as the removed comments suggest, hackish and meant to implement previous logic that was factored out. The new logic does exactly what the comments say, and is much less surprising.

I'm afraid we may want

r? `@lcnr`

for this one too.

I am sorry, but at least it should be easier to review.
…bzol

Include patch in release notes

This should fix triagebot publication of the GitHub release on merge.
@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. T-release Relevant to the release subteam, which will review and decide on the PR/issue. rollup A PR which is a rollup labels Sep 18, 2025
@matthiaskrgr
Copy link
Member Author

@bors r+ rollup=never p=5

@bors
Copy link
Collaborator

bors commented Sep 18, 2025

📌 Commit 24d6259 has been approved by matthiaskrgr

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 18, 2025
@bors
Copy link
Collaborator

bors commented Sep 18, 2025

⌛ Testing commit 24d6259 with merge 0c0c58b...

@bors
Copy link
Collaborator

bors commented Sep 18, 2025

☀️ Test successful - checks-actions
Approved by: matthiaskrgr
Pushing 0c0c58b to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 18, 2025
@bors bors merged commit 0c0c58b into rust-lang:master Sep 18, 2025
11 checks passed
@rustbot rustbot added this to the 1.92.0 milestone Sep 18, 2025
@rust-timer
Copy link
Collaborator

📌 Perf builds for each rolled up PR:

PR# Message Perf Build Sha
#146434 c-variadic: allow c-variadic inherent and trait methods 1a36bc6bacabd062125b064c9ce7fef39d76f7e5 (link)
#146487 Improve core::num coverage 57f050051b9949a3ed40c0f332335d7003c33c59 (link)
#146597 Add span for struct tail recursion limit error 1100722e48a7c89ed4b665e5b10ece2c6afdc5c4 (link)
#146622 Add regression test for issue #91831 6eb15dc83739ac772cd5227b814ed0558c86e696 (link)
#146717 Clean up universe evaluation during type test evaluation eed703da1636a864e46c12c92b73f229a430b0fb (link)
#146723 Include patch in release notes fbbd0ce3df21ea4a4b2b950126cbf5781d53c0ff (link)

previous master: 4cd91ef822

In the case of a perf regression, run the following command for each PR you suspect might be the cause: @rust-timer build $SHA

Copy link
Contributor

What is this? This is an experimental post-merge analysis report that shows differences in test outcomes between the merged PR and its parent PR.

Comparing 4cd91ef (parent) -> 0c0c58b (this PR)

Test differences

Show 237 test diffs

Stage 0

  • errors::verify_ast_passes_abi_cannot_be_coroutine_66: [missing] -> pass (J1)
  • errors::verify_ast_passes_abi_custom_safe_foreign_function_64: [missing] -> pass (J1)
  • errors::verify_ast_passes_abi_custom_safe_foreign_function_65: pass -> [missing] (J1)
  • errors::verify_ast_passes_abi_custom_safe_function_65: [missing] -> pass (J1)
  • errors::verify_ast_passes_abi_custom_safe_function_66: pass -> [missing] (J1)
  • errors::verify_ast_passes_abi_must_not_have_parameters_or_return_type_68: pass -> [missing] (J1)
  • errors::verify_ast_passes_abi_must_not_have_return_type_68: [missing] -> pass (J1)
  • errors::verify_ast_passes_abi_must_not_have_return_type_69: pass -> [missing] (J1)
  • errors::verify_ast_passes_abi_x86_interrupt_69: [missing] -> pass (J1)
  • errors::verify_ast_passes_abi_x86_interrupt_70: pass -> [missing] (J1)
  • errors::verify_ast_passes_at_least_one_trait_39: pass -> [missing] (J1)
  • errors::verify_ast_passes_auto_generic_32: [missing] -> pass (J1)
  • errors::verify_ast_passes_auto_generic_33: pass -> [missing] (J1)
  • errors::verify_ast_passes_auto_items_34: [missing] -> pass (J1)
  • errors::verify_ast_passes_c_variadic_associated_function_26: pass -> [missing] (J1)
  • errors::verify_ast_passes_c_variadic_bad_extern_29: pass -> [missing] (J1)
  • errors::verify_ast_passes_c_variadic_must_be_unsafe_28: pass -> [missing] (J1)
  • errors::verify_ast_passes_c_variadic_no_extern_27: pass -> [missing] (J1)
  • errors::verify_ast_passes_const_and_c_variadic_51: [missing] -> pass (J1)
  • errors::verify_ast_passes_const_and_coroutine_50: [missing] -> pass (J1)
  • errors::verify_ast_passes_const_bound_trait_object_50: pass -> [missing] (J1)
  • errors::verify_ast_passes_constraint_on_negative_bound_58: pass -> [missing] (J1)
  • errors::verify_ast_passes_coroutine_and_c_variadic_52: [missing] -> pass (J1)
  • errors::verify_ast_passes_coroutine_and_c_variadic_53: pass -> [missing] (J1)
  • errors::verify_ast_passes_extern_without_abi_62: [missing] -> pass (J1)
  • errors::verify_ast_passes_extern_without_abi_sugg_64: pass -> [missing] (J1)
  • errors::verify_ast_passes_fieldless_union_46: pass -> [missing] (J1)
  • errors::verify_ast_passes_generic_default_trailing_48: pass -> [missing] (J1)
  • errors::verify_ast_passes_incompatible_features_55: [missing] -> pass (J1)
  • errors::verify_ast_passes_item_underscore_29: [missing] -> pass (J1)
  • errors::verify_ast_passes_missing_unsafe_on_extern_43: [missing] -> pass (J1)
  • errors::verify_ast_passes_missing_unsafe_on_extern_44: pass -> [missing] (J1)
  • errors::verify_ast_passes_missing_unsafe_on_extern_lint_44: [missing] -> pass (J1)
  • errors::verify_ast_passes_missing_unsafe_on_extern_lint_45: pass -> [missing] (J1)
  • errors::verify_ast_passes_module_nonascii_31: [missing] -> pass (J1)
  • errors::verify_ast_passes_negative_bound_not_supported_56: [missing] -> pass (J1)
  • errors::verify_ast_passes_negative_bound_not_supported_57: pass -> [missing] (J1)
  • errors::verify_ast_passes_negative_bound_with_parenthetical_notation_59: pass -> [missing] (J1)
  • errors::verify_ast_passes_nomangle_ascii_30: [missing] -> pass (J1)
  • errors::verify_ast_passes_nomangle_ascii_31: pass -> [missing] (J1)
  • errors::verify_ast_passes_out_of_order_params_39: [missing] -> pass (J1)
  • errors::verify_ast_passes_pattern_in_bodiless_54: [missing] -> pass (J1)
  • errors::verify_ast_passes_pattern_in_bodiless_55: pass -> [missing] (J1)
  • errors::verify_ast_passes_pattern_in_fn_pointer_35: [missing] -> pass (J1)
  • errors::verify_ast_passes_pattern_in_fn_pointer_36: pass -> [missing] (J1)
  • errors::verify_ast_passes_pattern_in_foreign_53: [missing] -> pass (J1)
  • errors::verify_ast_passes_precise_capturing_duplicated_61: [missing] -> pass (J1)
  • errors::verify_ast_passes_precise_capturing_duplicated_62: pass -> [missing] (J1)
  • errors::verify_ast_passes_precise_capturing_not_allowed_here_61: pass -> [missing] (J1)
  • errors::verify_ast_passes_trait_object_single_bound_36: [missing] -> pass (J1)
  • errors::verify_ast_passes_unsafe_item_43: pass -> [missing] (J1)
  • errors::verify_ast_passes_where_clause_after_type_alias_46: [missing] -> pass (J1)

Stage 1

  • errors::verify_ast_passes_abi_custom_safe_foreign_function_64: [missing] -> pass (J0)
  • errors::verify_ast_passes_abi_custom_safe_function_65: [missing] -> pass (J0)
  • errors::verify_ast_passes_abi_custom_safe_function_66: pass -> [missing] (J0)
  • errors::verify_ast_passes_abi_must_not_have_return_type_68: [missing] -> pass (J0)
  • errors::verify_ast_passes_abi_must_not_have_return_type_69: pass -> [missing] (J0)
  • errors::verify_ast_passes_abi_x86_interrupt_69: [missing] -> pass (J0)
  • errors::verify_ast_passes_abi_x86_interrupt_70: pass -> [missing] (J0)
  • errors::verify_ast_passes_at_least_one_trait_38: [missing] -> pass (J0)
  • errors::verify_ast_passes_at_least_one_trait_39: pass -> [missing] (J0)
  • errors::verify_ast_passes_auto_generic_32: [missing] -> pass (J0)
  • errors::verify_ast_passes_auto_super_lifetime_33: [missing] -> pass (J0)
  • errors::verify_ast_passes_c_variadic_bad_extern_28: [missing] -> pass (J0)
  • errors::verify_ast_passes_c_variadic_no_extern_26: [missing] -> pass (J0)
  • errors::verify_ast_passes_c_variadic_no_extern_27: pass -> [missing] (J0)
  • errors::verify_ast_passes_const_and_c_variadic_51: [missing] -> pass (J0)
  • errors::verify_ast_passes_const_bound_trait_object_50: pass -> [missing] (J0)
  • errors::verify_ast_passes_constraint_on_negative_bound_58: pass -> [missing] (J0)
  • errors::verify_ast_passes_coroutine_and_c_variadic_53: pass -> [missing] (J0)
  • errors::verify_ast_passes_extern_without_abi_62: [missing] -> pass (J0)
  • errors::verify_ast_passes_extern_without_abi_63: pass -> [missing] (J0)
  • errors::verify_ast_passes_fieldless_union_45: [missing] -> pass (J0)
  • errors::verify_ast_passes_fieldless_union_46: pass -> [missing] (J0)
  • errors::verify_ast_passes_incompatible_features_55: [missing] -> pass (J0)
  • errors::verify_ast_passes_item_underscore_29: [missing] -> pass (J0)
  • errors::verify_ast_passes_item_underscore_30: pass -> [missing] (J0)
  • errors::verify_ast_passes_match_arm_with_no_body_59: [missing] -> pass (J0)
  • errors::verify_ast_passes_missing_unsafe_on_extern_44: pass -> [missing] (J0)
  • errors::verify_ast_passes_module_nonascii_31: [missing] -> pass (J0)
  • errors::verify_ast_passes_negative_bound_with_parenthetical_notation_58: [missing] -> pass (J0)
  • errors::verify_ast_passes_negative_bound_with_parenthetical_notation_59: pass -> [missing] (J0)
  • errors::verify_ast_passes_nomangle_ascii_30: [missing] -> pass (J0)
  • errors::verify_ast_passes_nomangle_ascii_31: pass -> [missing] (J0)
  • errors::verify_ast_passes_obsolete_auto_40: [missing] -> pass (J0)
  • errors::verify_ast_passes_out_of_order_params_39: [missing] -> pass (J0)
  • errors::verify_ast_passes_pattern_in_fn_pointer_35: [missing] -> pass (J0)
  • errors::verify_ast_passes_pattern_in_foreign_53: [missing] -> pass (J0)
  • errors::verify_ast_passes_pattern_in_foreign_54: pass -> [missing] (J0)
  • errors::verify_ast_passes_precise_capturing_not_allowed_here_61: pass -> [missing] (J0)
  • errors::verify_ast_passes_trait_object_single_bound_36: [missing] -> pass (J0)
  • errors::verify_ast_passes_unsafe_item_43: pass -> [missing] (J0)
  • errors::verify_ast_passes_unsafe_negative_impl_42: pass -> [missing] (J0)
  • errors::verify_ast_passes_where_clause_after_type_alias_46: [missing] -> pass (J0)
  • errors::verify_ast_passes_where_clause_after_type_alias_47: pass -> [missing] (J0)
  • [ui] tests/ui/c-variadic/trait-method.rs: [missing] -> pass (J1)
  • [ui] tests/ui/c-variadic/unsupported-abi.rs: [missing] -> pass (J1)
  • num::from_ascii_radix_panic: [missing] -> pass (J2)

Stage 2

  • [ui] tests/ui/c-variadic/not-dyn-compatible.rs: [missing] -> pass (J3)
  • [ui] tests/ui/c-variadic/trait-method.rs: [missing] -> pass (J3)

(and 90 additional test diffs)

Additionally, 47 doctest diffs were found. These are ignored, as they are noisy.

Job group index

Test dashboard

Run

cargo run --manifest-path src/ci/citool/Cargo.toml -- \
    test-dashboard 0c0c58b8e453f552ebd7f3a1545acdd109de028c --output-dir test-dashboard

And then open test-dashboard/index.html in your browser to see an overview of all executed tests.

Job duration changes

  1. dist-x86_64-apple: 9396.2s -> 7426.8s (-21.0%)
  2. dist-android: 1301.8s -> 1529.3s (17.5%)
  3. dist-apple-various: 4139.5s -> 4818.9s (16.4%)
  4. aarch64-apple: 6428.0s -> 5536.5s (-13.9%)
  5. dist-aarch64-windows-gnullvm: 5249.8s -> 4662.2s (-11.2%)
  6. aarch64-gnu-llvm-20-2: 2202.2s -> 2423.4s (10.0%)
  7. dist-aarch64-msvc: 5610.5s -> 6152.9s (9.7%)
  8. x86_64-gnu-miri: 4929.4s -> 4505.0s (-8.6%)
  9. dist-ohos-armv7: 4350.8s -> 4020.3s (-7.6%)
  10. x86_64-gnu-tools: 3424.3s -> 3681.7s (7.5%)
How to interpret the job duration changes?

Job durations can vary a lot, based on the actual runner instance
that executed the job, system noise, invalidated caches, etc. The table above is provided
mostly for t-infra members, for simpler debugging of potential CI slow-downs.

@rust-timer
Copy link
Collaborator

Finished benchmarking commit (0c0c58b): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
0.3% [0.3%, 0.3%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

Max RSS (memory usage)

Results (primary 2.5%, secondary -0.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
2.5% [2.5%, 2.5%] 1
Regressions ❌
(secondary)
1.3% [1.3%, 1.3%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-2.3% [-2.3%, -2.3%] 1
All ❌✅ (primary) 2.5% [2.5%, 2.5%] 1

Cycles

Results (primary -2.6%, secondary 2.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
2.4% [2.2%, 2.5%] 4
Improvements ✅
(primary)
-2.6% [-3.2%, -2.0%] 2
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) -2.6% [-3.2%, -2.0%] 2

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 473.718s -> 471.74s (-0.42%)
Artifact size: 389.93 MiB -> 389.98 MiB (0.01%)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. rollup A PR which is a rollup S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. T-release Relevant to the release subteam, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

10 participants