Rename `OutlivesPredicate` to `OutlivesClause` by ada4a · Pull Request #160343 · rust-lang/rust

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

ada4a · 2026-08-01T15:23:28Z

Part of #107250 / Follow-up to #160177

This is motivated by OutlivesPredicate being the inner type of ClauseKind::TypeOutlives and ClauseKind::RegionOutlives, and the "outlives clause" terminology already being used in a few places across the codebase.

One thing worth noting: OutlivesPredicate and its derivatives are duplicated in rustc_public. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible?

r? @oli-obk
cc @nnethercote

rustbot · 2026-08-01T15:23:32Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a, @makai410

rustc-dev-guide is developed in its own repository. If possible, consider making this change to rust-lang/rustc-dev-guide instead.

cc @BoxyUwU, @tshepang

HIR ty lowering was modified

cc @fmease

changes to the core type system

cc @lcnr

oli-obk

r=me after rebase

View changes since this review

..to `compare_{method,type}_clause_entailment`

rustbot · 2026-08-05T09:08:00Z

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.

ada4a · 2026-08-05T09:12:06Z

First time I'm doing this.. hope it works!

@bors r=oli-obk

rust-bors · 2026-08-05T09:12:10Z

📌 Commit c996983 has been approved by oli-obk

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

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to rust-lang#160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

…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)

@oli-obk

Rollup merge of #160343 - ada4a:push-oyyponlxmyxy, r=oli-obk Rename `OutlivesPredicate` to `OutlivesClause` Follow-up to #160177 This is motivated by `OutlivesPredicate` being the inner type of `ClauseKind::TypeOutlives` and `ClauseKind::RegionOutlives`, and the "outlives clause" terminology already being used in a few places across the codebase. One thing worth noting: `OutlivesPredicate` and its derivatives are duplicated in `rustc_public`. I chose to rename them, but leave the old names available as deprecated type aliases -- this should hopefully be semver-compatible? r? @oli-obk cc @nnethercote

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

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

rustbot assigned oli-obk Aug 1, 2026

This comment has been minimized.
Sign in to view

ada4a force-pushed the push-oyyponlxmyxy branch from d90cb1d to 19f5839Compare August 1, 2026 15:33

rustbot added A-rustdoc-js Area: Rustdoc's JS front-end A-rustdoc-search Area: Rustdoc's search feature T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. labels Aug 1, 2026

This comment has been minimized.
Sign in to view

oli-obk approved these changes Aug 5, 2026
View reviewed changes

ada4a added 2 commits August 5, 2026 11:06

misc: change mentions of compare_{method,type}_predicate_entailment
a8e7de3
..to `compare_{method,type}_clause_entailment`

rename OutlivesPredicate to OutlivesClause
c996983

ada4a force-pushed the push-oyyponlxmyxy branch from 19f5839 to c996983Compare August 5, 2026 09:07

rust-borsBot 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 5, 2026

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-borsBot merged commit 73bdae0 into rust-lang:mainAug 5, 2026
13 checks passed

rustbot added this to the 1.99.0 milestone Aug 5, 2026

ada4a deleted the push-oyyponlxmyxy branch August 10, 2026 16:47

N1ark mentioned this pull request Aug 18, 2026
Bump toolchain to 18-08-2026 AeneasVerif/charon#1353
Merged

Uh oh!

Uh oh!

Conversation

ada4a commented Aug 1, 2026• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Aug 1, 2026

Uh oh!

This comment has been minimized.

This comment has been minimized.

oli-obk left a comment • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

rustbot commented Aug 5, 2026

Uh oh!

ada4a commented Aug 5, 2026

Uh oh!

rust-borsBot commented Aug 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Uh oh!

Uh oh!

Conversation

ada4a commented Aug 1, 2026• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Aug 1, 2026

Uh oh!

This comment has been minimized.

This comment has been minimized.

oli-obk left a comment • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

rustbot commented Aug 5, 2026

Uh oh!

ada4a commented Aug 5, 2026

Uh oh!

rust-borsBot commented Aug 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Uh oh!

Uh oh!

Conversation

ada4a commented Aug 1, 2026• edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Aug 1, 2026

Uh oh!

This comment has been minimized.

This comment has been minimized.

oli-obk left a comment • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

rustbot commented Aug 5, 2026

Uh oh!

ada4a commented Aug 5, 2026

Uh oh!

rust-borsBot commented Aug 5, 2026

Uh oh!

Uh oh!

Reviewers

ada4a commented Aug 1, 2026•
edited
Loading

oli-obk left a comment •
edited by rustbot
Loading

ada4a commented Aug 1, 2026•
edited
Loading

oli-obk left a comment •
edited by rustbot
Loading

ada4a commented Aug 1, 2026•
edited
Loading

oli-obk left a comment •
edited by rustbot
Loading

ada4a commented Aug 1, 2026•
edited
Loading

oli-obk left a comment •
edited by rustbot
Loading

ada4a commented Aug 1, 2026•
edited
Loading

oli-obk left a comment •
edited by rustbot
Loading