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.

Sign up for GitHub

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

Jump to bottom

Vague Union Legality Rules (4.4.3) #141

Open
HeroicKatora opened this issue Jul 26, 2022 · 0 comments
Open

Vague Union Legality Rules (4.4.3) #141

HeroicKatora opened this issue Jul 26, 2022 · 0 comments
Labels
category:content Issue related to the content of the specification kind:enhancement

Comments

@HeroicKatora
Copy link

4.4.3:1 A union type is an abstract data type similar to a C-like union.

This isn't sufficient and improperly permissive. Rust rules for unions will have some mismatch with C unions. It does not defined (subsets of) the permitted values as per B.509. type, making unions effectively uninstantiable.

See also: ongoing internal discussion
@pietroalbini pietroalbini added kind:enhancement category:content Issue related to the content of the specification labels Jul 26, 2022
@Veykril Veykril mentioned this issue Aug 7, 2023
Merged
bors-ferrocene bot added a commit that referenced this issue Aug 7, 2023
@bors-ferrocene @Veykril
Merge #434
b169ee0 
434: Disallow non-copy types in union types r=Dajamante a=Veykril

cc #141

Co-authored-by: Lukas Wirth <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
category:content Issue related to the content of the specification kind:enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pietroalbini @HeroicKatora