Skip to content

Conversation

fee1-dead
Copy link
Member

@fee1-dead fee1-dead commented Jan 25, 2025

Addresses rust-lang/project-const-traits#16

cc @rust-lang/project-const-traits
r? @RalfJung

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jan 25, 2025
@rustbot
Copy link
Collaborator

rustbot commented Jan 25, 2025

Some changes occurred to the CTFE machinery

cc @rust-lang/wg-const-eval

@rust-log-analyzer

This comment has been minimized.

Copy link
Member

@RalfJung RalfJung left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great, thanks! Just some minor comments.

@fee1-dead fee1-dead force-pushed the push-ovmyztlkptmk branch 2 times, most recently from 085a10a to 9737061 Compare January 27, 2025 06:47
@fee1-dead fee1-dead requested a review from RalfJung January 27, 2025 11:17
@RalfJung
Copy link
Member

Looks like we do not have a test triggering const_eval_unmarked_const_item_exposed on a trait? The diff shows only one test change from that message change, for a regular fn call.

@fee1-dead
Copy link
Member Author

Looks like we do not have a test triggering const_eval_unmarked_const_item_exposed on a trait? The diff shows only one test change from that message change, for a regular fn call.

I just added it.

@rust-log-analyzer

This comment has been minimized.

@RalfJung
Copy link
Member

LGTM, thanks!

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 28, 2025

📌 Commit d250657 has been approved by RalfJung

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 28, 2025
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jan 28, 2025
…k, r=RalfJung

Implement MIR const trait stability checks

Addresses rust-lang/project-const-traits#16

cc `@rust-lang/project-const-traits`
r? `@RalfJung`
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 28, 2025
…iaskrgr

Rollup of 9 pull requests

Successful merges:

 - rust-lang#135869 (Make docs for AtomicUsize::from_mut platform-independent)
 - rust-lang#135892 (-Znext-solver: "normalize" signature before checking it mentions self in `deduce_closure_signature`)
 - rust-lang#136055 (Implement MIR const trait stability checks)
 - rust-lang#136066 (Pass spans to `perform_locally_in_new_solver`)
 - rust-lang#136071 ([Clippy] Add vec_reserve & vecdeque_reserve diagnostic items)
 - rust-lang#136124 (Arbitrary self types v2: explain test.)
 - rust-lang#136149 (Flip the `rustc-rayon`/`indexmap` dependency order)
 - rust-lang#136173 (Update comments and sort target_arch in c_char_definition)
 - rust-lang#136178 (Update username in build helper example)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 4cb1342 into rust-lang:master Jan 28, 2025
6 checks passed
@rustbot rustbot added this to the 1.86.0 milestone Jan 28, 2025
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Jan 28, 2025
Rollup merge of rust-lang#136055 - fee1-dead-contrib:push-ovmyztlkptmk, r=RalfJung

Implement MIR const trait stability checks

Addresses rust-lang/project-const-traits#16

cc ``@rust-lang/project-const-traits``
r? ``@RalfJung``
@fee1-dead fee1-dead deleted the push-ovmyztlkptmk branch February 1, 2025 14:57
github-actions bot pushed a commit to tautschnig/verify-rust-std that referenced this pull request Mar 11, 2025
…iaskrgr

Rollup of 9 pull requests

Successful merges:

 - rust-lang#135869 (Make docs for AtomicUsize::from_mut platform-independent)
 - rust-lang#135892 (-Znext-solver: "normalize" signature before checking it mentions self in `deduce_closure_signature`)
 - rust-lang#136055 (Implement MIR const trait stability checks)
 - rust-lang#136066 (Pass spans to `perform_locally_in_new_solver`)
 - rust-lang#136071 ([Clippy] Add vec_reserve & vecdeque_reserve diagnostic items)
 - rust-lang#136124 (Arbitrary self types v2: explain test.)
 - rust-lang#136149 (Flip the `rustc-rayon`/`indexmap` dependency order)
 - rust-lang#136173 (Update comments and sort target_arch in c_char_definition)
 - rust-lang#136178 (Update username in build helper example)

r? `@ghost`
`@rustbot` modify labels: rollup
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
F-const_trait_impl `#![feature(const_trait_impl)]` S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants