Add some tests for specialization - #160520

jackh726 · 2026-08-04T17:34:07Z

cc #31844 (specialization tracking issue)

Closes #32483 (fixed)
Closes #48515 (fixed)
Closes #52396 (fixed)
Closes #74809 (fixed)
Closes #77026 (fixed)
Closes #80700 (fixed)
Closes #126268 (dupe of #102252)

cc. #50318 (known-bug)
cc. #36262 (known-bug, fixed-by-next-solver)
cc. #125014 (known-bug, fixed-by-next-solver)

r? nikomatsakis

Disclosure: These issues are from Github, but I used an LLM to help copy them over. I reviewed all tests.

rustbot · 2026-08-04T17:34:11Z

This PR changes a file inside tests/crashes. If a crash was fixed, please move into the corresponding ui subdir and add 'Fixes #' to the PR description to autoclose the issue upon merge.

rustbot · 2026-08-04T17:34:13Z

nikomatsakis is not on the review rotation at the moment.
They may take a while to respond.

nikomatsakis · 2026-08-04T17:58:05Z

@bors r+ rollup

rust-bors · 2026-08-04T17:58:08Z

📌 Commit c75bca0 has been approved by nikomatsakis

It is now in the queue for this repository.

🌲 The tree is currently closed for pull requests below priority 10. This pull request will be tested once the tree is reopened.

Reason for tree closure: manually handling queue due to backlog

rust-bors · 2026-08-04T18:44:38Z

⚠️ A new commit 679481475548fc354e162809e4c64591423c66ef was pushed.

This pull request was unapproved.

jackh726 · 2026-08-04T20:01:49Z

@bors r=nikomatsakis

rust-bors · 2026-08-04T20:01:52Z

📌 Commit 6794814 has been approved by nikomatsakis

It is now in the queue for this repository.

🌲 The tree is currently closed for pull requests below priority 10. This pull request will be tested once the tree is reopened.

Reason for tree closure: manually handling queue due to backlog

…ikomatsakis Add some tests for specialization cc rust-lang#31844 (specialization tracking issue) Closes rust-lang#32483 (fixed) Closes rust-lang#48515 (fixed) Closes rust-lang#52396 (fixed) Closes rust-lang#74809 (fixed) Closes rust-lang#77026 (fixed) Closes rust-lang#80700 (fixed) Closes rust-lang#126268 (dupe of rust-lang#102252) cc. rust-lang#50318 (known-bug) cc. rust-lang#36262 (known-bug, fixed-by-next-solver) cc. rust-lang#125014 (known-bug, fixed-by-next-solver) r? nikomatsakis Disclosure: These issues are from Github, but I used an LLM to help copy them over. I reviewed all tests.

…uwer Rollup of 22 pull requests Successful merges: - #158147 (std: fix stack buffer overflow in Windows junction_point) - #159784 (Hint that memchr returns an in-bounds index) - #160130 (Select cache values to verify by key fingerprint, not value fingerprint) - #160343 (Rename `OutlivesPredicate` to `OutlivesClause`) - #160360 (Remove rustc_middle dependency on rustc_hir_pretty) - #160387 (rustc_codegen_ssa: Correctly apply the static `--jobs-backend` limit to backend parallelism) - #160422 (move mir-opt miri tests to CI logic) - #160444 (Avoid resolving path keywords outside `TypeNS`) - #160510 (Resolver: (un)tracked borrows for `CmRefCell` made safe my unsafe speculative flag) - #155424 ([blocked] Link to proposed LLM policy in CONTRIBUTING and pull request template) - #158726 (std: move futex implementations into sys::sync::futex) - #159225 (Split IncrCompSession out of Session) - #159820 (Make the `rustc_unsafe_specialization_marker` attribute actually `unsafe`) - #160198 (Rework `smallest_range_containing` to handle duplicates) - #160362 (Split `SpannedTypeVisitor` into its own crate, `rustc_ty_walk`) - #160390 (autodiff: Handle slice-tailed DSTs in type trees) - #160420 (Suggest `cast_signed()` for overflowing signed integer literals) - #160520 (Add some tests for specialization) - #160522 (fix(bootstrap): Normalize the names of proc macro dependency crates) - #160531 (docs: fix typo in AllowExprMetavar comment) - #160538 (Update expect messages in tcp.rs doc examples to follow the style guide) - #160548 (bootstrap: Register `coverage-map` and `coverage-run` aliases via a separate step)

…ikomatsakis Add some tests for specialization cc rust-lang#31844 (specialization tracking issue) Closes rust-lang#32483 (fixed) Closes rust-lang#48515 (fixed) Closes rust-lang#52396 (fixed) Closes rust-lang#74809 (fixed) Closes rust-lang#77026 (fixed) Closes rust-lang#80700 (fixed) Closes rust-lang#126268 (dupe of rust-lang#102252) cc. rust-lang#50318 (known-bug) cc. rust-lang#36262 (known-bug, fixed-by-next-solver) cc. rust-lang#125014 (known-bug, fixed-by-next-solver) r? nikomatsakis Disclosure: These issues are from Github, but I used an LLM to help copy them over. I reviewed all tests.

…uwer Rollup of 25 pull requests Successful merges: - #154585 (treat no_mangle_generic_items as hard error instead of lint warning) - #158147 (std: fix stack buffer overflow in Windows junction_point) - #160130 (Select cache values to verify by key fingerprint, not value fingerprint) - #160343 (Rename `OutlivesPredicate` to `OutlivesClause`) - #160360 (Remove rustc_middle dependency on rustc_hir_pretty) - #160387 (rustc_codegen_ssa: Correctly apply the static `--jobs-backend` limit to backend parallelism) - #160422 (move mir-opt miri tests to CI logic) - #160444 (Avoid resolving path keywords outside `TypeNS`) - #160510 (Resolver: (un)tracked borrows for `CmRefCell` made safe my unsafe speculative flag) - #155424 ([blocked] Link to proposed LLM policy in CONTRIBUTING and pull request template) - #158726 (std: move futex implementations into sys::sync::futex) - #158762 (Emit thumb code on VEX V5) - #159225 (Split IncrCompSession out of Session) - #159820 (Make the `rustc_unsafe_specialization_marker` attribute actually `unsafe`) - #160198 (Rework `smallest_range_containing` to handle duplicates) - #160362 (Split `SpannedTypeVisitor` into its own crate, `rustc_ty_walk`) - #160390 (autodiff: Handle slice-tailed DSTs in type trees) - #160420 (Suggest `cast_signed()` for overflowing signed integer literals) - #160516 (Add regression test for HRTB projection in closure) - #160520 (Add some tests for specialization) - #160522 (fix(bootstrap): Normalize the names of proc macro dependency crates) - #160523 (Add regression test for opaque type) - #160531 (docs: fix typo in AllowExprMetavar comment) - #160538 (Update expect messages in tcp.rs doc examples to follow the style guide) - #160548 (bootstrap: Register `coverage-map` and `coverage-run` aliases via a separate step)

…uwer Rollup of 25 pull requests Successful merges: - #158147 (std: fix stack buffer overflow in Windows junction_point) - #160130 (Select cache values to verify by key fingerprint, not value fingerprint) - #160343 (Rename `OutlivesPredicate` to `OutlivesClause`) - #160360 (Remove rustc_middle dependency on rustc_hir_pretty) - #160387 (rustc_codegen_ssa: Correctly apply the static `--jobs-backend` limit to backend parallelism) - #160422 (move mir-opt miri tests to CI logic) - #160444 (Avoid resolving path keywords outside `TypeNS`) - #160510 (Resolver: (un)tracked borrows for `CmRefCell` made safe by unsafe speculative flag) - #155424 ([blocked] Link to proposed LLM policy in CONTRIBUTING and pull request template) - #158726 (std: move futex implementations into sys::sync::futex) - #158762 (Emit thumb code on VEX V5) - #159225 (Split IncrCompSession out of Session) - #159820 (Make the `rustc_unsafe_specialization_marker` attribute actually `unsafe`) - #160198 (Rework `smallest_range_containing` to handle duplicates) - #160362 (Split `SpannedTypeVisitor` into its own crate, `rustc_ty_walk`) - #160390 (autodiff: Handle slice-tailed DSTs in type trees) - #160420 (Suggest `cast_signed()` for overflowing signed integer literals) - #160501 (Add bootstrap CLI snapshot test for testing miri) - #160516 (Add regression test for HRTB projection in closure) - #160520 (Add some tests for specialization) - #160522 (fix(bootstrap): Normalize the names of proc macro dependency crates) - #160523 (Add regression test for opaque type) - #160531 (docs: fix typo in AllowExprMetavar comment) - #160538 (Update expect messages in tcp.rs doc examples to follow the style guide) - #160548 (bootstrap: Register `coverage-map` and `coverage-run` aliases via a separate step)

Rollup merge of #160520 - jackh726:specialization-tests, r=nikomatsakis Add some tests for specialization cc #31844 (specialization tracking issue) Closes #32483 (fixed) Closes #48515 (fixed) Closes #52396 (fixed) Closes #74809 (fixed) Closes #77026 (fixed) Closes #80700 (fixed) Closes #126268 (dupe of #102252) cc. #50318 (known-bug) cc. #36262 (known-bug, fixed-by-next-solver) cc. #125014 (known-bug, fixed-by-next-solver) r? nikomatsakis Disclosure: These issues are from Github, but I used an LLM to help copy them over. I reviewed all tests.

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. labels Aug 4, 2026

rustbot assigned nikomatsakis Aug 4, 2026

This comment has been minimized.

Sign in to view

rust-cloud-vms Bot force-pushed the specialization-tests branch from 053f487 to c75bca0 Compare August 4, 2026 17:44

nikomatsakis approved these changes Aug 4, 2026

View reviewed changes

rust-bors Bot 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 Aug 4, 2026

This comment has been minimized.

Sign in to view

Add some tests for specialization.

6794814

rust-cloud-vms Bot force-pushed the specialization-tests branch from c75bca0 to 6794814 Compare August 4, 2026 18:44

rust-bors Bot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Aug 4, 2026

rust-bors Bot 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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 4, 2026

JonathanBrouwer mentioned this pull request Aug 5, 2026

Rollup of 11 pull requests #160547

Closed

jhpratt mentioned this pull request Aug 5, 2026

Rollup of 16 pull requests #160549

Closed

JonathanBrouwer mentioned this pull request Aug 5, 2026

Rollup of 22 pull requests #160554

Closed

JonathanBrouwer mentioned this pull request Aug 5, 2026

Rollup of 25 pull requests #160557

Closed

JonathanBrouwer mentioned this pull request Aug 5, 2026

Rollup of 25 pull requests #160559

Merged

rust-bors Bot merged commit b3209f1 into rust-lang:main Aug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

jackh726 mentioned this pull request Aug 6, 2026

support default impl for specialization #37653

Open

3 tasks

jackh726 deleted the specialization-tests branch August 6, 2026 07:57

Navigation Menu

Uh oh!

Uh oh!

Add some tests for specialization - #160520