Skip to content

Conversation

@RalfJung
Copy link
Member

Closes #183.
Closes #174 by saying that a padding byte can be anything.

@RalfJung RalfJung added the A-padding Topic: Related to padding label Aug 14, 2019
@gnzlbg
Copy link
Contributor

gnzlbg commented Aug 15, 2019

Thanks for working on this.

@RalfJung
Copy link
Member Author

I have added a remark that for unions and enums, we don't really know what we are doing yet.

@gnzlbg gnzlbg merged commit 23569a8 into rust-lang:master Aug 27, 2019
@RalfJung RalfJung deleted the padding branch August 28, 2019 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-padding Topic: Related to padding

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Define: "padding bytes" Padding Bytes Guarantees?

3 participants