Cosa definisce il codice robusto?

Question

Il mio professore continua a riferirsi a questo esempio di Java quando parla di codice "robusto":

if (var == true) {
    ...
} else if (var == false) {
    ...
} else {
    ...
}

Afferma che "codice robusto" significa che il tuo programma tiene conto di tutte le possibilità e che non esiste un errore: tutte le situazioni sono gestite dal codice e si traducono in uno stato valido, da cui il "else".

Sono dubbio, tuttavia. Se la variabile è un booleano, qual è il punto di controllare un terzo stato quando un terzo stato è logicamente impossibile?

"Non avere un errore come un errore" sembra anche ridicolo; Anche le applicazioni di Google mostrano errori direttamente all'utente invece di inghiottirli in silenzio o in qualche modo considerandoli come stato valido. Ed è buono - mi piace sapere quando qualcosa va storto. E sembra abbastanza l'affermazione di dire che un'applicazione non avrebbe mai errori.

Allora qual è il effettivo Definizione di "codice robusto"?