Utilisation du type Never : vérification exhaustive vs. gestion des erreurs | MLOG | MLOG