pub fn write_quinn_to_err(e: WriteError) -> ToolErrorExpand description
convertit une erreur d’écriture quinn en ToolError, en distinguant l’annulation distante (connexion fermée avec CLOSE_CANCEL) des erreurs réseau : sans ça, un write_all qui échoue quand le récepteur annule serait signalé comme une erreur au lieu d’une annulation