Skip to content

Comptime inherent impls#157824

Open
oli-obk wants to merge 3 commits into
rust-lang:mainfrom
oli-obk:comptime-impls
Open

Comptime inherent impls#157824
oli-obk wants to merge 3 commits into
rust-lang:mainfrom
oli-obk:comptime-impls

Conversation

@oli-obk

@oli-obk oli-obk commented Jun 12, 2026

Copy link
Copy Markdown
Contributor

A fairly trivial addition to comptime. Now that we have inherent methods that can individually be #[rustc_comptime], we can just extend that to inherent impls.

lots of new test coverage as the attribute (even if it errors due to being illegal there) affects how the items it's applied to behave.

r? @fee1-dead

@rustbot

rustbot commented Jun 12, 2026

Copy link
Copy Markdown
Collaborator

Some changes occurred in compiler/rustc_attr_parsing

cc @jdonszelmann, @JonathanBrouwer

@rustbot rustbot added A-attributes Area: Attributes (`#[…]`, `#![…]`) 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 Jun 12, 2026
@rustbot

rustbot commented Jun 12, 2026

Copy link
Copy Markdown
Collaborator

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

@fee1-dead fee1-dead left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Comment thread tests/ui/comptime/comptime_impl.rs Outdated

pub(super) fn lower_constness(&mut self, c: Const) -> hir::Constness {
match c {
pub(super) fn lower_constness(&mut self, attrs: &[hir::Attribute], c: Const) -> hir::Constness {

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

It might make sense to clarify in a comment here that ComptimeParser under compiler/rustc_attr_parsing/src/attributes/semantics.rs actually controls where a Comptime constness is actually allowed.

Comment thread compiler/rustc_ast_lowering/src/item.rs Outdated
@fee1-dead fee1-dead added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 3, 2026
@rust-bors

This comment has been minimized.

@rustbot

rustbot commented Jul 14, 2026

Copy link
Copy Markdown
Collaborator

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.

@oli-obk

oli-obk commented Jul 14, 2026

Copy link
Copy Markdown
Contributor Author

@bors r=fee1-dead

@rust-bors

rust-bors Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 6741f56 has been approved by fee1-dead

It is now in the queue for this repository.

@rust-bors rust-bors Bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Jul 14, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
Comptime inherent impls

A fairly trivial addition to comptime. Now that we have inherent methods that can individually be `#[rustc_comptime]`, we can just extend that to inherent impls.

lots of new test coverage as the attribute (even if it errors due to being illegal there) affects how the items it's applied to behave.

r? @fee1-dead
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
Comptime inherent impls

A fairly trivial addition to comptime. Now that we have inherent methods that can individually be `#[rustc_comptime]`, we can just extend that to inherent impls.

lots of new test coverage as the attribute (even if it errors due to being illegal there) affects how the items it's applied to behave.

r? @fee1-dead
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
Comptime inherent impls

A fairly trivial addition to comptime. Now that we have inherent methods that can individually be `#[rustc_comptime]`, we can just extend that to inherent impls.

lots of new test coverage as the attribute (even if it errors due to being illegal there) affects how the items it's applied to behave.

r? @fee1-dead
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
Comptime inherent impls

A fairly trivial addition to comptime. Now that we have inherent methods that can individually be `#[rustc_comptime]`, we can just extend that to inherent impls.

lots of new test coverage as the attribute (even if it errors due to being illegal there) affects how the items it's applied to behave.

r? @fee1-dead
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-attributes Area: Attributes (`#[…]`, `#![…]`) 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.

3 participants