Merge branch 'verify-systypes-includes' into 'master'

Verify systypes includes

See merge request redox-os/relibc!1074

src/header/bits_pthread/mod.rs

@@ -1,6 +1,6 @@
 #![allow(non_camel_case_types)]
 
-use crate::platform::types::*;
+use crate::platform::types::{c_int, c_uchar, c_ulong, c_void, size_t};
 
 // XXX: https://github.com/eqrion/cbindgen/issues/685
 //

src/header/sys_types/cbindgen.toml

@@ -1,10 +1,17 @@
+# POSIX header spec: https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/sys_types.h.html
+#
+# There are no spec quotations relating to includes
+#
+# - sys/types_internal.h are fundamental C types (which includes stddef.h)
+# - bits/pthread.h is separate for convenience
+# - features.h saves importing separately for any header that imports sys/types.h
+#
 # no default C includes - they cause recursive dependencies and do weird stuff
 no_includes = true
 sys_includes = [
     # Import most necessary, internal types first
     "sys/types_internal.h",
 
-    "stddef.h",
     "bits/pthread.h",
     "features.h",
 ]