Skip to content
miri

fix(ffi): make FFI struct fields private to close Drop soundness hole #17741

Sign in to view logs

fix(ffi): make FFI struct fields private to close Drop soundness hole

fix(ffi): make FFI struct fields private to close Drop soundness hole #17741

Triggered via pull request July 29, 2026 16:26
@bit2swazbit2swaz
synchronize #10431
bit2swaz:fix/ffi-private-fields
Status Success
Total duration 25m 12s
Artifacts –

miri.yaml

on: pull_request
Matrix: MIRI
Fit to window
Zoom out
Zoom in