giusto.
anzi, il compilatore ti avrebbe segnalato un errore in questo caso.