Skip to content

Handle nontype const inherent associated consts#156721

Open
cijiugechu wants to merge 1 commit into
rust-lang:mainfrom
cijiugechu:index-out-of-bounds-type_at
Open

Handle nontype const inherent associated consts#156721
cijiugechu wants to merge 1 commit into
rust-lang:mainfrom
cijiugechu:index-out-of-bounds-type_at

Conversation

@cijiugechu
Copy link
Copy Markdown
Member

@cijiugechu cijiugechu commented May 18, 2026

Keep non type const inherent associated consts as unevaluated consts instead, so they are evaluated normally rather than normalized as projections.

Closes #148063

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented May 18, 2026

changes to the core type system

cc @lcnr

@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 May 18, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented May 18, 2026

r? @Kivooeo

rustbot has assigned @Kivooeo.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler, types
  • compiler, types expanded to 73 candidates
  • Random selection from 19 candidates

@cijiugechu cijiugechu added the F-generic_const_exprs `#![feature(generic_const_exprs)]` label May 18, 2026
@cijiugechu cijiugechu force-pushed the index-out-of-bounds-type_at branch from 895efc4 to 037369e Compare May 19, 2026 03:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

F-generic_const_exprs `#![feature(generic_const_exprs)]` 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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ICE: index out of bounds in rustc_middle/src/ty/generic_args.rs's type_at

3 participants