Add size != stride to frequently requested changes

[carbotaniuman]

No description provided.

[joshtriplett]

Could you add some language here explaining the implications for objects that set their alignment greater than their size would normally be?

[joshtriplett]

@rfcbot merge

[rfcbot]

Team member @joshtriplett has proposed to merge this. The next step is review by the rest of the tagged team members:

• @joshtriplett
• @nikomatsakis
• @pnkfelix
• @scottmcm
• @tmandry

No concerns currently listed.

Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

cc @rust-lang/lang-advisors: FCP proposed for lang, please feel free to register concerns.
See this document for info about what commands tagged team members can give me.

[pnkfelix]

Should we consider cross-referencing the other discussions that the project has had on this topic, if only to make it easier for people reading these docs to find past discussions about the matter?

I'm thinking specifically of:

• Separate size and stride for types rfcs#1397
• Collapse trailing padding rust#17027

[RalfJung]

There's also rust-lang/unsafe-code-guidelines#176.

[nikomatsakis]

@rfcbot reviewed

[rfcbot]

🔔 This is now entering its final comment period, as per the review above. 🔔

[rfcbot]

The final comment period, with a disposition to merge, as per the review above, is now complete.

As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.

This will be merged soon.