Skip to content
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 and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revisit the null-enum-discriminant-debug-checks goal #233

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

1c3t3a
Copy link
Contributor

@1c3t3a 1c3t3a commented Jan 17, 2025

cc @RalfJung @nikomatsakis

While we're at it: I am not entirely sure whether this needs a "Lang team experiment", probably not. I can also remove it if requested.

Rendered

@nikomatsakis
Copy link
Contributor

I don't think this needs the lang team experiment. This feels purely compiler to me.

@1c3t3a 1c3t3a force-pushed the remove-meeting-request branch from 5a74dbe to 57a8c4f Compare January 17, 2025 10:17
@1c3t3a
Copy link
Contributor Author

1c3t3a commented Jan 17, 2025

Alright, sounds reasonable. I updated the PR :)

@1c3t3a 1c3t3a changed the title Remove the ask for a Design meeting for project goal Revisit the null-enum-discriminant-debug-checks goal Jan 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants