Skip to content

Forbid generic parameters in types of #[type_const] items - #150650

Merged
bors merged 1 commit into
rust-lang:mainfrom
enthropy7:main
Jan 4, 2026
Merged

Forbid generic parameters in types of #[type_const] items#150650
bors merged 1 commit into
rust-lang:mainfrom
enthropy7:main

Conversation

@enthropy7

@enthropy7enthropy7 commented Jan 3, 2026•
edited by rustbot
Loading

Copy link
Copy Markdown
Contributor

fixes#150614

we enforce the same restriction on #[type_const] const items that already exists for const generic parameters - when generic_const_parameter_types feature gate is not enabled, the type of a #[type_const] item cannot reference generic parameters. implementation follows the same pattern used for const generic parameters. we check if the item has the #[type_const] attribute and if the feature gate is disabled, then we apply RibKind::ConstParamTy restrictions when visiting the type, which prevents the use of generic parameters.

check is added in three places:

  • Free const items (ItemKind::Const)
  • Trait associated consts (AssocItemKind::Const in traits)
  • Impl associated consts (AssocItemKind::Const in impls)

added tests for new feature, hope i get this task right :>

r? @BoxyUwU

@rustbotrustbot 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 3, 2026
@rustbot

rustbot commented Jan 3, 2026

Copy link
Copy Markdown
Collaborator

BoxyUwU is currently at their maximum review capacity.
They may take a while to respond.

@rust-log-analyzer

This comment has been minimized.

Sign in to view
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@enthropy7

enthropy7 commented Jan 3, 2026

Copy link
Copy Markdown
ContributorAuthor

CI checks failed few times cause i forget to fix another tests that was here before new behavior. now everything is ok, i force pushed correct commits to keep it clear 🥇

BoxyUwU
BoxyUwU reviewed Jan 4, 2026
View reviewed changes

@BoxyUwUBoxyUwU left a comment •
edited by rustbot
Loading

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.

thanks! the logic looks correct, just a few small comments about the tests and then this can be merged

View changes since this review

Comment threadtests/ui/associated-consts/assoc-const-eq-bound-var-in-ty-not-wf.rs Outdated
Comment threadtests/ui/associated-consts/assoc-const-eq-esc-bound-var-in-ty.rs Outdated
Comment threadtests/ui/associated-consts/assoc-const-eq-param-in-ty.rs Outdated
Comment threadtests/ui/const-generics/mgca/type_const-generic-param-in-type.rs
Comment threadtests/ui/const-generics/mgca/type_const-generic-param-in-type.rs
@BoxyUwU

BoxyUwU commented Jan 4, 2026

Copy link
Copy Markdown
Member

@rustbot author

@rustbotrustbot 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 Jan 4, 2026
@rustbot

rustbot commented Jan 4, 2026

Copy link
Copy Markdown
Collaborator

Reminder, once the PR becomes ready for a review, use @rustbot ready.

@rust-log-analyzer

This comment has been minimized.

Sign in to view
BoxyUwU
BoxyUwU reviewed Jan 4, 2026
View reviewed changes
Comment threadtests/ui/const-generics/mgca/type_const-generic-param-in-type.rs Outdated
BoxyUwU
BoxyUwU approved these changes Jan 4, 2026
View reviewed changes

@BoxyUwUBoxyUwU left a comment •
edited by rustbot
Loading

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.

Cool! Thank you :)

I'll approve this once CI passes

View changes since this review

@rust-log-analyzer

This comment has been minimized.

Sign in to view
@enthropy7

enthropy7 commented Jan 4, 2026

Copy link
Copy Markdown
ContributorAuthor

Cool! Thank you :)

I'll approve this once CI passes

View changes since this review

thanks! it was nice to cooperate, I will continue to look where I can be useful. now im waiting for CI with you, cause last one failed (stderr classic), but now i solved it

@rust-log-analyzer

This comment has been minimized.

Sign in to view
@BoxyUwU

BoxyUwU commented Jan 4, 2026

Copy link
Copy Markdown
Member

@bors r+ rollup

thanks :)

@bors

bors commented Jan 4, 2026

Copy link
Copy Markdown
Collaborator

📌 Commit 46bb414 has been approved by BoxyUwU

It is now in the queue for this repository.

@borsbors 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 Jan 4, 2026
This was referenced Jan 4, 2026
Merged
Open
@ZalatharZalathar mentioned this pull request Jan 4, 2026
Merged
bors added a commit that referenced this pull request Jan 4, 2026
@bors
Auto merge of#150669- Zalathar:rollup-7ar4hqp, r=Zalathar
5afdf5d
Rollup of 7 pull requests
Successful merges:
- #150201 (compiletest: Support revisions in debuginfo (read: debugger) tests)
- #150642 (mutex.rs: remove needless-maybe-unsized bounds)
- #150643 (vec in-place-drop: avoid creating an intermediate slice)
- #150650 (Forbid generic parameters in types of #[type_const] items)
- #150658 (Clarify panic conditions in `Iterator::last`)
- #150659 (Add missing translator resources for interface parse_cfg and parse_check_cfg)
- #150666 (Fix ambig-unambig-ty-and-consts link)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 05dce48 into rust-lang:mainJan 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.94.0 milestone Jan 4, 2026
rust-timer added a commit that referenced this pull request Jan 4, 2026
@rust-timer
Unrolled build for#150650
6c2c1c5
Rollup merge of #150650 - enthropy7:main, r=BoxyUwU
Forbid generic parameters in types of #[type_const] items
fixes#150614
we enforce the same restriction on `#[type_const]` const items that already exists for const generic parameters - when `generic_const_parameter_types` feature gate is not enabled, the type of a `#[type_const]` item cannot reference generic parameters. implementation follows the same pattern used for const generic parameters. we check if the item has the `#[type_const]` attribute and if the feature gate is disabled, then we apply `RibKind::ConstParamTy` restrictions when visiting the type, which prevents the use of generic parameters.
check is added in three places:
- Free const items (`ItemKind::Const`)
- Trait associated consts (`AssocItemKind::Const` in traits)
- Impl associated consts (`AssocItemKind::Const` in impls)
added tests for new feature, hope i get this task right :>
r? `@BoxyUwU`
@github-actionsgithub-actionsBot mentioned this pull request Jan 27, 2026
Closed
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@BoxyUwUBoxyUwUBoxyUwU approved these changes

Assignees

@BoxyUwUBoxyUwU

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

1.94.0

Development

Successfully merging this pull request may close these issues.

MGCA: forbid generic parameters from being in used in the types of type_const items

5 participants

@enthropy7@rustbot@rust-log-analyzer@BoxyUwU@bors