Add a small part of the real rust std

2026-03-17 20:13:39 +01:00
parent 56a00d0403
commit 56ad115e58
18 changed files with 3005 additions and 1671 deletions
--- a/patches.sed
+++ b/patches.sed
@@ -0,0 +1,6 @@
+s|crate::bstr::ByteStr|alloc::bstr::ByteStr|g
+s|crate::collections::TryReserveError|alloc::collections::TryReserveError|g
+s|crate::sync::Arc|alloc::sync::Arc|g
+
+# Ajouter d'autres modifications facilement ici :
+# s|ancien_texte|nouveau_texte|g