Structs like FILE, which are used in external libc functions like fwrite, should have their fields marked FIXED so we don't try to rewrite them. Even changing pointers to &/&mut should be forbidden, even though it doesn't change the layout, because the correctness of that change depends on details of the behavior of the libc functions that use the type.
Structs like
FILE
, which are used in external libc functions likefwrite
, should have their fields markedFIXED
so we don't try to rewrite them. Even changing pointers to&
/&mut
should be forbidden, even though it doesn't change the layout, because the correctness of that change depends on details of the behavior of the libc functions that use the type.