nodoCorrente.user
In che senso? Se nodoCorrente != null (cioè non è il utentePresentato dell'ultimo nodo, che vale null perché non punta ad un altro Nodo), allora hai il riferimento ad un Nodo e il suo user è sicuramente != null perché l'avevi testato nel push.
Quindi all'inizio del corpo del while: hai sicuramente un Nodo e sicuramente il suo Utente.
Ahhh grazie infinite! Cioè le avevo provate tutte tranne quella più adatta!!
La lista viene però stampata in ordine inverso, cioè partendo dall'ultimo utente inserito.
Non è importante, ma per pura curiosità se volessi invertire questa cosa, come potrei fare?