Add more checks for unnamed_fields during HIR analysis by clubby789 · Pull Request #121198 · rust-lang/rust (original) (raw)

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Conversation7 Commits1 Checks0 Files changed

Conversation

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

clubby789

Fixes #121151

I also found that we don't prevent enums here so

#[repr(C)] #[derive(Debug)] enum A { #[default] B, C, }

#[repr(C)] #[derive(Debug)] struct D { _: A, }

leads to an ICE on an self.is_struct() || self.is_union() assertion, so fixed that too.

@rustbot

r? @estebank

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

@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

Feb 16, 2024

@clubby789 clubby789 changed the titleAdd more checks for unnamed_field during HIR analysis Add more checks for unnamed_fields during HIR analysis

Feb 16, 2024

compiler-errors

Choose a reason for hiding this comment

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

cool! thanks

@compiler-errors

r? compiler-errors @bors r+ rollup

@bors

📌 Commit c370403 has been approved by compiler-errors

It is now in the queue for this repository.

@bors bors 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 16, 2024

matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request

Feb 17, 2024

@matthiaskrgr

…s, r=compiler-errors

Add more checks for unnamed_fields during HIR analysis

Fixes rust-lang#121151

I also found that we don't prevent enums here so

#[repr(C)]
#[derive(Debug)]
enum A {
    #[default]
    B,
    C,
}

#[repr(C)]
#[derive(Debug)]
struct D {
    _: A,
}

leads to an ICE on an self.is_struct() || self.is_union() assertion, so fixed that too.

@matthiaskrgr

@bors bors 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-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

labels

Feb 17, 2024

@clubby789

@clubby789

@bors

📌 Commit 62b789f has been approved by compiler-errors

It is now in the queue for this repository.

@bors bors 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

Feb 17, 2024

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request

Feb 17, 2024

@GuillaumeGomez

…s, r=compiler-errors

Add more checks for unnamed_fields during HIR analysis

Fixes rust-lang#121151

I also found that we don't prevent enums here so

#[repr(C)]
#[derive(Debug)]
enum A {
    #[default]
    B,
    C,
}

#[repr(C)]
#[derive(Debug)]
struct D {
    _: A,
}

leads to an ICE on an self.is_struct() || self.is_union() assertion, so fixed that too.

bors added a commit to rust-lang-ci/rust that referenced this pull request

Feb 17, 2024

@bors

…llaumeGomez

Rollup of 7 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

bors added a commit to rust-lang-ci/rust that referenced this pull request

Feb 18, 2024

@bors

Rollup of 7 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

rust-timer added a commit to rust-lang-ci/rust that referenced this pull request

Feb 18, 2024

@rust-timer

Rollup merge of rust-lang#121198 - clubby789:unnamed-fields-hir-checks, r=compiler-errors

Add more checks for unnamed_fields during HIR analysis

Fixes rust-lang#121151

I also found that we don't prevent enums here so

#[repr(C)]
#[derive(Debug)]
enum A {
    #[default]
    B,
    C,
}

#[repr(C)]
#[derive(Debug)]
struct D {
    _: A,
}

leads to an ICE on an self.is_struct() || self.is_union() assertion, so fixed that too.

@clubby789 clubby789 linked an issue

Feb 19, 2024

that may beclosed by this pull request

Labels

F-unnamed_fields

`#![feature(unnamed_fields)]`

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.