Is passing an invalid pointer to recv sound?

https://github.com/bytecodealliance/system-interface/blob/8ee8c825df4c183f06d48ec5d10556a5bf11655b/src/io/is_read_write.rs#L141-L152

https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-recv doesn't say anything about this, this seems sketchy.

Lisez src/io/is_read_write.rs aux lignes 141-152 et comparez la gestion des pointeurs avec le contrat recv de Windows associé. Déterminez si le passage d’un pointeur invalide est valide pour cette interface, puis identifiez le comportement attendu ou la documentation nécessaire pour résoudre le problème ; l’issue ne nomme ni test ni correctif précis.

Rédigé par le modèle d'indexation à partir du texte de l'issue.