Suggerimento Zig: `errdefer comptime unreachable;` garantirà a tempo di compilazione che da quel punto in poi nulla possa fallire. Questo è un modello estremamente importante poiché `errdefer` (pulizia in caso di errore) dipende spesso da uno stato particolare del mondo e questo lo afferma. Esempio di caso d'uso: sto lavorando a una funzionalità che riceve dei dati, imposta un sacco di buffer e poi scambia i buffer. Ho un sacco di `errdefer` sparsi per pulire il nuovo buffer in costruzione. Ma dopo aver scambiato i buffer, quegli `errdefer` sono ora ERRATI. Risulterebbero in un eventuale doppio rilascio. Quindi, proprio quando scambio i buffer, metto un `errdefer comptime unreachable` e un commento che spiega perché è importante che non possano verificarsi errori dopo di ciò. Se mai avessi bisogno di errori dopo, mi costringerà a rivedere come faccio la pulizia degli errori. Molto bene!