-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement MIR const trait stability checks #136055
Conversation
Some changes occurred to the CTFE machinery cc @rust-lang/wg-const-eval |
This comment has been minimized.
This comment has been minimized.
7081449
to
65c9b8a
Compare
There was a problem hiding this 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.
085a10a
to
9737061
Compare
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. |
This comment has been minimized.
This comment has been minimized.
f1081ef
to
d250657
Compare
LGTM, thanks! @bors r+ |
…k, r=RalfJung Implement MIR const trait stability checks Addresses rust-lang/project-const-traits#16 cc `@rust-lang/project-const-traits` r? `@RalfJung`
…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
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``
Addresses rust-lang/project-const-traits#16
cc @rust-lang/project-const-traits
r? @RalfJung