Add some missing FFI safe types (fr)

Translation of pull request ANSSI-FR#42
polazarus · Jun 30, 2020 · d70e3ce · d70e3ce
1 parent b0a9ebf
commit d70e3ce
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/fr/07_ffi.md b/src/fr/07_ffi.md
@@ -133,7 +133,14 @@ Les types suivants sont considérés comme compatibles avec le C :
 - les `enum`s annotées avec `repr(C)` ou `repr(Int)` (où `Int` est un type
   primitif entier), contenant au moins un variant et dont tous les variants ne
   comportent pas de champ ;
-- les pointeurs.
+- les pointeurs ;
+- les `Option<T>` où `T` est:
+  - `core::ptr::NonNull<U>` et `U` est un type compatible avec le C et `Sized`,
+    auquel cas le type est équivalent à un pointeur `*const T` et `*mut T`,
+  - `core::num::NonZero*`, auquel cas le type est équivalent au type primitif
+    entier correspondant ;
+- les `struct`s annotées avec `repr(transparent)` possédant un seul champ, qui
+  est d'un type C-compatible.
 
 Les types suivants ne sont pas compatibles avec le C :