Skip to content

Vague Union Legality Rules (4.4.3) #141

New issue

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

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
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 <lukastw97@gmail.com>
# for free to join this conversation on GitHub. Already have an account? # 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