about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src
diff options
context:
space:
mode:
authorJack Wrenn <jack@wrenn.fyi>2025-02-28 16:32:06 +0000
committerJack Wrenn <jack@wrenn.fyi>2025-02-28 16:32:06 +0000
commit91034adf30b3055e489d59f4483ed5def9cc9f19 (patch)
treedc5295049ed689972d27ab0ad7e8461b84556aa9 /compiler/rustc_codegen_llvm/src
parent2f581937e1c06adb4607df1b571c0bef6d98e6ec (diff)
downloadrust-91034adf30b3055e489d59f4483ed5def9cc9f19.tar.gz
rust-91034adf30b3055e489d59f4483ed5def9cc9f19.zip
Do not require that unsafe fields lack drop glue
Instead, we adopt the position that introducing an `unsafe` field
itself carries a safety invariant: that if you assign an invariant
to that field weaker than what the field's destructor requires,
you must ensure that field is in a droppable state in your
destructor.

See:
- https://github.com/rust-lang/rfcs/pull/3458#discussion_r1971676100
- https://rust-lang.zulipchat.com/#narrow/channel/213817-t-lang/topic/unsafe.20fields.20RFC/near/502113897
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions