Auto merge of #137940 - 1c3t3a:alignment-borrows-check, r=saethlin

Browse Source

Extend the alignment check to borrows

The current alignment check does not include checks for creating misaligned references from raw pointers, which is now added in this patch.

When inserting the check we need to be careful with references to field projections (e.g. `&(*ptr).a`), in which case the resulting reference must be aligned according to the field type and not the type of the pointer.

r? `@saethlin`

cc `@RalfJung,` after our discussion in #134424

...

This commit is contained in:

bors 2025-04-29 05:36:44 +00:00

parent e3c349a6c3 25ffc1ef86

commit 3342c600d7

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available