Skip to content

Include assoc const projections in CFI trait object#151947

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
mu001999-contrib:fix/151878
Feb 2, 2026
Merged

Include assoc const projections in CFI trait object#151947
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
mu001999-contrib:fix/151878

Conversation

@mu001999
Copy link
Contributor

@mu001999 mu001999 commented Feb 1, 2026

Fixes #151878

After #150843, projections of trait objects should include assoc consts, but the cfi trait_object_ty still include only assoc types. So that we got the ICE expected 1 projection but got 0.

@rustbot
Copy link
Collaborator

rustbot commented Feb 1, 2026

Some changes occurred in compiler/rustc_sanitizers

cc @rcvalle

Some changes occurred in tests/ui/sanitizer

cc @rcvalle

@rustbot rustbot added PG-exploit-mitigations Project group: Exploit mitigations 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 Feb 1, 2026
@rustbot
Copy link
Collaborator

rustbot commented Feb 1, 2026

r? @JonathanBrouwer

rustbot has assigned @JonathanBrouwer.
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

@JonathanBrouwer
Copy link
Contributor

@rustbot reroll

@rustbot rustbot assigned BoxyUwU and unassigned JonathanBrouwer Feb 1, 2026
@rust-lang rust-lang deleted a comment from rust-bors bot Feb 1, 2026
@fmease
Copy link
Member

fmease commented Feb 1, 2026

r? me

@rustbot rustbot assigned fmease and unassigned BoxyUwU Feb 1, 2026
@rust-log-analyzer

This comment has been minimized.

Copy link
Member

@fmease fmease left a comment

Choose a reason for hiding this comment

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

@rust-bors
Copy link
Contributor

rust-bors bot commented Feb 1, 2026

📌 Commit 990c558 has been approved by fmease

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-review Status: Awaiting review from the assignee but also interested parties. labels Feb 1, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Feb 1, 2026
Include assoc const projections in CFI trait object

Fixes rust-lang#151878

After rust-lang#150843, projections of trait objects should include assoc consts, but the cfi `trait_object_ty` still include only assoc types. So that we got the ICE `expected 1 projection but got 0`.
rust-bors bot pushed a commit that referenced this pull request Feb 1, 2026
…uwer

Rollup of 10 pull requests

Successful merges:

 - #150428 (UnixStream/UnixListener on Windows )
 - #147400 (TryFrom<integer> for bool)
 - #150993 (std: sys: uefi: os: Implement join_paths)
 - #151483 (Add regression test for issue #138225)
 - #151568 (Update hexagon target linker configurations)
 - #151725 (Fix outdated Debian Ports ISO reference)
 - #151895 (Move UI tests batch)
 - #151923 (Fix ICE when projection error reporting sees opaque alias terms)
 - #151947 (Include assoc const projections in CFI trait object)
 - #151948 (Handle unbalanced delimiters gracefully in make_attr_token_stream)
rust-bors bot pushed a commit that referenced this pull request Feb 2, 2026
Rollup of 11 pull requests

Successful merges:

 - #151756 (Avoid miri error in `slice::sort` under Stacked Borrows)
 - #147400 (TryFrom<integer> for bool)
 - #150993 (std: sys: uefi: os: Implement join_paths)
 - #151483 (Add regression test for issue #138225)
 - #151568 (Update hexagon target linker configurations)
 - #151725 (Fix outdated Debian Ports ISO reference)
 - #151895 (Move UI tests batch)
 - #151923 (Fix ICE when projection error reporting sees opaque alias terms)
 - #151947 (Include assoc const projections in CFI trait object)
 - #151948 (Handle unbalanced delimiters gracefully in make_attr_token_stream)
 - #151963 (Add regression test for negative literal in a range of unsigned type)
rust-bors bot pushed a commit that referenced this pull request Feb 2, 2026
Rollup of 11 pull requests

Successful merges:

 - #151756 (Avoid miri error in `slice::sort` under Stacked Borrows)
 - #147400 (TryFrom<integer> for bool)
 - #150993 (std: sys: uefi: os: Implement join_paths)
 - #151483 (Add regression test for issue #138225)
 - #151568 (Update hexagon target linker configurations)
 - #151725 (Fix outdated Debian Ports ISO reference)
 - #151895 (Move UI tests batch)
 - #151923 (Fix ICE when projection error reporting sees opaque alias terms)
 - #151947 (Include assoc const projections in CFI trait object)
 - #151948 (Handle unbalanced delimiters gracefully in make_attr_token_stream)
 - #151963 (Add regression test for negative literal in a range of unsigned type)
@rust-bors rust-bors bot merged commit d748af9 into rust-lang:main Feb 2, 2026
11 checks passed
rust-timer added a commit that referenced this pull request Feb 2, 2026
Rollup merge of #151947 - mu001999-contrib:fix/151878, r=fmease

Include assoc const projections in CFI trait object

Fixes #151878

After #150843, projections of trait objects should include assoc consts, but the cfi `trait_object_ty` still include only assoc types. So that we got the ICE `expected 1 projection but got 0`.
@cuviper cuviper added this to the 1.95.0 milestone Feb 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PG-exploit-mitigations Project group: Exploit mitigations 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.

[ICE]: expected Binder to have 1 projections, but it has 0

7 participants