Commit b2d7674
committed
Auto merge of #157480 - nikic:captures-metadata, r=RalfJung
Set !captures metadata for store of &Freeze
When a `&Freeze` reference is stored (with retag), emit `!captures !{!"address", !"read_provenance"}` metadata to indicate that it's UB to write through the stored pointer.
Related to rust-lang/rust#146844.
r? @ghost0 file changed
0 commit comments