Skip to content

Auto merge of #116057 - RalfJung:io-safety, r=Mark-Simulacrum #248

Auto merge of #116057 - RalfJung:io-safety, r=Mark-Simulacrum

Auto merge of #116057 - RalfJung:io-safety, r=Mark-Simulacrum #248