It’s great to have this discussion, even though I think I have a different opinion on how to handle public dependencies. Rather, if they are to be handled so strictly, I’d rather not have any public dependencies at all.
We need a good solution for the c_void issue before libc 1.0 is released, it’s lucky at least that we caught it before then. I would prefer a solution similar to libcore. Maybe a new crate, something that isn’t all of libc.