Skip to content

Conversation

@folkertdev
Copy link
Contributor

@folkertdev folkertdev commented Nov 24, 2025

tracking issue: #81391
tracking issue: #75835
fixes #130104

Don't calculate the layout of a type with an infer type (_). This now emits LayoutError::Unknown, causing an error similar to when any other calling convention is used in this location.

The tests use separate functions because only the first such error in a function body is reported.

r? @davidtwco (might need some T-types assistance)

@folkertdev folkertdev added the F-abi_cmse_nonsecure_call `#![feature(abi_cmse_nonsecure_call)]` label Nov 24, 2025
@rustbot
Copy link
Collaborator

rustbot commented Nov 24, 2025

HIR ty lowering was modified

cc @fmease

@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 Nov 24, 2025
@folkertdev folkertdev added the F-cmse_nonsecure_entry `#![feature(cmse_nonsecure_entry)]` label Nov 24, 2025
@rust-log-analyzer

This comment has been minimized.

@rustbot
Copy link
Collaborator

rustbot commented Nov 24, 2025

This PR changes a file inside tests/crashes. If a crash was fixed, please move into the corresponding ui subdir and add 'Fixes #' to the PR description to autoclose the issue upon merge.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

F-abi_cmse_nonsecure_call `#![feature(abi_cmse_nonsecure_call)]` F-cmse_nonsecure_entry `#![feature(cmse_nonsecure_entry)]` 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: Layout::compute: unexpected type _

4 participants