Fix ICE in write_interface when the interface file can't be written#158843
Merged
rust-bors[bot] merged 1 commit intoJul 17, 2026
Merged
write_interface when the interface file can't be written#158843